1153 search results - page 93 / 231 » Compositional Specification Calculus for Information Systems... |
121
click to vote
CLEIEJ
2010
15 years 1 months ago
2010
Component-based software development needs to formalize a process of generation, evaluation and selection of Composite COTS-based Software Systems (CCSS), enabling software archit...
124
click to vote
ICSE
2001
IEEE-ACM
15 years 8 months ago
2001
IEEE-ACM
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
119
click to vote
AIMS
2007
Springer
15 years 10 months ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
145
click to vote
COMPSYSTECH
2009
15 years 1 months ago
2009
: Recent advances in Information and Communication Technologies (ICT) and more specifically in wireless networks and mobile computing have driven new directions in the development ...
134
click to vote
WISE
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present a Web recommender system for recommending, predicting and personalizing music playlists based on a user model. We have developed a hybrid similarity match...