19003 search results - page 123 / 3801 » We Need Assurance! |
CONCUR
2006
Springer
14 years 28 days ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
WSC
2007
13 years 11 months ago
2007
Assessing tram schedules is important to assure an efficient use of infrastructure and for the provision of a good quality service. Most existing infrastructure modeling tools pr...
ESAW
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. How to ensure that two different implementations of a simulation will produce the same results ? In order to assure simulation reproducibility, some domain-independent fu...
FMOODS
2007
13 years 10 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...
IFIP13
2004
13 years 10 months ago
2004
: The failure of a safety-critical system, though undesirable, is often a source of valuable lessons that can help prevent future failures. Current analysis practices do not always...