1472 search results - page 181 / 295 » On Model Checking Infinite-State Systems |
202
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
202
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
180
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
157
click to vote
APSEC
2006
IEEE
16 years 12 days ago
2006
IEEE
This paper introduces a framework for security-oriented software service composition and evolution. Key building blocks of the framework are a semantic model for specifying the se...
206
click to vote
CSCW
1998
ACM
15 years 10 months ago
1998
ACM
Collaborative filtering systems help address information overload by using the opinions of users in a community to make personal recommendations for documents to each user. Many c...