2872 search results - page 294 / 575 » On (Omega-)Regular Model Checking |
123
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
136
click to vote
WSC
2007
15 years 7 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...
146
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
133
click to vote
BIS
2008
15 years 6 months ago
2008
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
134
Voted
DAGSTUHL
2006
15 years 6 months ago
2006
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...