1463 search results - page 150 / 293 » Model Checking Implicit-Invocation Systems |
SOSP
1997
ACM
15 years 2 months ago
1997
ACM
This paper presents a new model for controlling information flow in systems with mutual distrust and decentralized authority. The model allows users to share information with dis...
119
click to vote
ENTCS
2007
15 years 1 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
131
click to vote
SDL
2003
15 years 2 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
105
click to vote
WSC
2007
15 years 3 months ago
2007
Metamodels are functions with calibrated parameters, used actions and simplifications of the simulation model. A metamodel exposes the system’s input-output relationship and ca...
132
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...