65 search results - page 1 / 13 » Modeling the Dynamic Behavior of Objects on Events, Messages... |
EUROPAR
1997
Springer
13 years 9 months ago
1997
Springer
LISP
2008
13 years 5 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
CAISE
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. Flexibility and automatic learning are key aspects to support users in dynamic business environments such as value chains across SMEs or when organizing a large event. Pr...
DEDS
2002
13 years 5 months ago
2002
Abstract. Detection and isolation of failures in large and complex systems such as telecommunication networks are crucial and challenging tasks. The problem considered here is that...
TSP
2008
13 years 5 months ago
2008
Abstract-- This paper addresses the problem of tracking extended objects, such as ships or a convoy of vehicles moving in urban environment. Two Monte Carlo techniques for extended...