3224 search results - page 432 / 645 » On Checking Model Checkers |
169
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
177
click to vote
FORTE
2007
15 years 8 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...
157
click to vote
COORDINATION
2010
Springer
15 years 6 months ago
2010
Springer
In the context of service-oriented computing, behavioural contracts are descriptions of the message-passing behaviour of services. They can be used to check properties of service c...
174
click to vote
SIAMAM
2008
15 years 6 months ago
2008
This work is devoted to the modelling of phase transition. The thermodynamic model for phase transition chosen is a model with two equations of state, each of them modelling one p...
170
click to vote
IJSNET
2007
15 years 6 months ago
2007
Abstract: Wireless sensor networks are often based on omni-sensing and communication models. In contrast, in this paper, we investigate sensor networks with directional sensing and...