1463 search results - page 165 / 293 » Model Checking Implicit-Invocation Systems |
110
click to vote
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
119
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. To be able to build systems by composing a variety of components dynamically, adding and removing as required, is desirable. Unfortunately systems with evolving architect...
106
click to vote
RTA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
CSCWD
2005
Springer
15 years 3 months ago
2005
Springer
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
142
click to vote
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...