2468 search results - page 344 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
123
click to vote
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
122
click to vote
IJCAI
2007
15 years 5 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
117
click to vote
ENTCS
2006
15 years 3 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
118
click to vote
STTT
2008
15 years 3 months ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
144
click to vote
SIMULATION
1998
15 years 3 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...