2878 search results - page 360 / 576 » Model Checking FTA |
187
click to vote
COORDINATION
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
195
click to vote
ISCA
1999
IEEE
15 years 11 months ago
1999
IEEE
Information integrity in cache memories is a fundamental requirement for dependable computing. Conventional architectures for enhancing cache reliability using check codes make it...
152
click to vote
ARTS
1997
Springer
15 years 10 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
157
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
178
click to vote
IIWAS
2008
15 years 8 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...