525 search results - page 57 / 105 » Model Checking Systems of Replicated Processes with Spin |
RTAS
2009
IEEE
14 years 3 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
OOPSLA
2000
Springer
14 years 8 days ago
2000
Springer
To date, systems offering multitasking for the JavaTM programming language either use one process or one class loader for each application. Both approaches are unsatisfactory. Usi...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
RTCSA
1999
IEEE
14 years 1 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
ICWE
2005
Springer
14 years 2 months ago
2005
Springer
A methodology needs to be empowered by appropriate tool support. The CASE tool ArgoUWE supports designers in the use of the UWE methodology for the systematic, UML-based developmen...