2875 search results - page 422 / 575 » Model checking agentspeak |
120
click to vote
JWSR
2008
15 years 27 days ago
2008
: Ensuring composite services reliability is a challenging problem. Indeed, due to the inherent autonomy and heterogeneity of Web services it is difficult to predict and reason abo...
126
click to vote
ENTCS
2007
15 years 27 days ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
ENTCS
2007
15 years 27 days ago
2007
The event B method provides a general framework for modelling both data structures and algorithms. B models are validated by discharging proof obligations ensuring safety properti...
108
click to vote
ENTCS
2007
15 years 27 days ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
JSS
2006
15 years 27 days ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...