970 search results - page 16 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
KBSE
2010
IEEE
13 years 6 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
AQUILEIA
2011
12 years 7 months ago
2011
A large number of technologies, such as Geographic Information Systems (GIS), Global Positioning Systems (GPS), Remote Sensing (RS), geophysical instruments, allows nowadays for fa...
PASTE
1998
ACM
13 years 11 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
INFSOF
2002
13 years 7 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...