4167 search results - page 553 / 834 » Regression model checking |
114
click to vote
COORDINATION
2010
Springer
15 years 4 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...
126
click to vote
ENTCS
2007
15 years 4 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
137
click to vote
SIAMAM
2008
15 years 4 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...
137
click to vote
IJSNET
2007
15 years 4 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...
132
click to vote
ENTCS
2008
15 years 3 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...