19003 search results - page 123 / 3801 » We Need Assurance! |
156
click to vote
CONCUR
2006
Springer
15 years 9 months 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...
148
Voted
WSC
2007
15 years 8 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...
153
click to vote
ESAW
2008
Springer
15 years 7 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...
200
click to vote
FMOODS
2007
15 years 7 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...
158
click to vote
IFIP13
2004
15 years 7 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...