145 search results - page 8 / 29 » rest 2010 |
EOR
2006
15 years 12 days ago
2006
This paper deals with a multi-stage two-person zero-sum game called the multi-stage search allocation game (MSSAG), in which a searcher and an evader participate. The searcher dist...
110
Voted
ENTCS
2007
15 years 11 days ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
80
Voted
ENTCS
2007
15 years 11 days ago
2007
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
86
Voted
ENTCS
2002
15 years 6 days ago
2002
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
97
Voted
SIAMNUM
2010
14 years 7 months ago
2010
We consider the Saint-Venant system for shallow water flows with non-flat bottom. In the past years, efficient well-balanced methods have been proposed in order to well resolve sol...