13,371 research outputs found
Specification of vertical semantic consistency rules of UML class diagram refinement using logical approach
Unified Modelling Language (UML) is the most popular modelling language use for
software design in software development industries with a class diagram being the
most frequently use diagram. Despite the popularity of UML, it is being affected by
inconsistency problems of its diagrams at the same or different abstraction levels.
Inconsistency in UML is mostly caused by existence of various views on the same
system and sometimes leads to potentially conflicting system specifications. In
general, syntactic consistency can be automatically checked and therefore is
supported by current UML Computer-aided Software Engineering (CASE) tools.
Semantic consistency problems, unlike syntactic consistency problems, there exists
no specific method for specifying semantic consistency rules and constraints.
Therefore, this research has specified twenty-four abstraction rules of classâs relation
semantic among any three related classes of a refined class diagram to semantically
equivalent relations of two of the classes using a logical approach. This research has
also formalized three vertical semantic consistency rules of a class diagram
refinement identified by previous researchers using a logical approach and a set of
formalized abstraction rules. The results were successfully evaluated using hotel
management system and passenger list system case studies and were found to be
reliable and efficient
Intangible trust requirements - how to fill the requirements trust "gap"?
Previous research efforts have been expended in terms of the capture and subsequent instantiation of "soft" trust requirements that relate to HCI usability concerns or in relation to "hard" tangible security requirements that primarily relate to security a ssurance and security protocols. Little direct focus has been paid to managing intangible trust related requirements
per se. This 'gap' is perhaps most evident in the public B2C (Business to Consumer) E- Systems we all use on a daily basis. Some speculative suggestions are made as to how to fill the 'gap'.
Visual card sorting is suggested as a suitable evaluative tool; whilst deontic logic trust norms
and UML extended notation are the suggested (methodologically invariant) means by which software development teams can perhaps more fully capture hence visualize intangible trust requirements
Learning, innovation and proximity. An empirical exploration of patterns of learning: a case study
learning; innovation
Recurrent Poisson Factorization for Temporal Recommendation
Poisson factorization is a probabilistic model of users and items for
recommendation systems, where the so-called implicit consumer data is modeled
by a factorized Poisson distribution. There are many variants of Poisson
factorization methods who show state-of-the-art performance on real-world
recommendation tasks. However, most of them do not explicitly take into account
the temporal behavior and the recurrent activities of users which is essential
to recommend the right item to the right user at the right time. In this paper,
we introduce Recurrent Poisson Factorization (RPF) framework that generalizes
the classical PF methods by utilizing a Poisson process for modeling the
implicit feedback. RPF treats time as a natural constituent of the model and
brings to the table a rich family of time-sensitive factorization models. To
elaborate, we instantiate several variants of RPF who are capable of handling
dynamic user preferences and item specification (DRPF), modeling the
social-aspect of product adoption (SRPF), and capturing the consumption
heterogeneity among users and items (HRPF). We also develop a variational
algorithm for approximate posterior inference that scales up to massive data
sets. Furthermore, we demonstrate RPF's superior performance over many
state-of-the-art methods on synthetic dataset, and large scale real-world
datasets on music streaming logs, and user-item interactions in M-Commerce
platforms.Comment: Submitted to KDD 2017 | Halifax, Nova Scotia - Canada - sigkdd, Codes
are available at https://github.com/AHosseini/RP
- âŠ