10038 search results - page 211 / 2008 » Model Checking for Managers |
115
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
130
click to vote
ICWS
2010
IEEE
15 years 5 months ago
2010
IEEE
Recently, describing behavior of web services is becoming more and more important. This behavior can be described by business protocols representing the possible sequences of messa...
127
click to vote
CONCURRENCY
2004
15 years 4 months ago
2004
Abstract. A number of formal proposals to manage aliasing in Java-like programming languages have been advanced over the last five years. Unfortunately, it is not clear how practic...
117
click to vote
ENTCS
2007
15 years 4 months 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...
149
click to vote
IS
2008
15 years 4 months ago
2008
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...