819 search results - page 73 / 164 » Using Assumptions to Distribute CTL Model Checking |
103
Voted
IPPS
2003
IEEE
15 years 8 months ago
2003
IEEE
The standardisation procedure of the IEEE P1394.1 Draft Standard for High Performance Serial Bus Bridges is supported through the use of the state-of-the-art model checker Spin, w...
136
Voted
PLDI
2004
ACM
15 years 8 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
139
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Activity recognition is a key component for creating intelligent, multi-agent systems. Intrinsically, activity recognition is a temporal classification problem. In this paper, we...
167
Voted
WOA
2010
15 years 14 days ago
2010
This paper deals with the definition of a strong authentication model, coupling usual password/PIN based methods with a biometric matching, over a Multi Agent distributed infrastru...
127
Voted
FORTE
2007
15 years 4 months ago
2007
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...