6308 search results - page 3 / 1262 » Modeling Urgency in Timed Systems |
131
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
106
Voted
ADAEUROPE
2005
Springer
15 years 6 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
121
Voted
EUC
2007
Springer
15 years 6 months ago
2007
Springer
Networked embedded systems present unique challenges for system designers composing distributed applications with dyanmic, real-time, and resilience requirements. We consider the ...
78
Voted
IJCAI
2007
15 years 2 months ago
2007
In this paper, we present a multi-agent control method for a large-scale network system. We propose an extension of a token-based coordination technique to improve the tradeoff be...
104
Voted
TECS
2010
14 years 11 months ago
2010
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...