525 search results - page 74 / 105 » Model Checking Systems of Replicated Processes with Spin |
CHI
2009
ACM
13 years 6 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
UML
2005
Springer
14 years 2 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...
TACAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
ICALP
2001
Springer
14 years 1 months ago
2001
Springer
A cryptographic protocol can be described as a system of concurrent processes, and analysis of the traces generated by this system can be used to verify authentication and secrecy ...
TAMODIA
2008
13 years 10 months ago
2008
Abstract. The analysis of usability aspects of multi-user systems, such as cooperative work systems and pervasive systems, pose particular problems because group behavior of their ...