623 search results - page 19 / 125 » An Algebraic Approach for Managing Inconsistencies in Softwa... |
FSTTCS
2004
Springer
14 years 24 days ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
ECBS
2003
IEEE
14 years 21 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
By explicitly modeling and managing variability, software product line engineering provides a systematic approach for creating a diversity of similar products at low cost, in shor...
OTM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In the engineering domain, the development of complex products (e.g., cars) necessitates the coordination of thousands of (sub-)processes. One of the biggest challenges f...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...