6308 search results - page 175 / 1262 » Modeling Urgency in Timed Systems |
105
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Sampled semantics of timed automata is a nite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems ed granularity of ti...
118
click to vote
ENTCS
2007
15 years 4 months ago
2007
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Au...
167
click to vote
RTSS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper addresses the problem of scheduling realtime dwells in multi-function phase array radar systems. To keep track of targets, a radar system must meet its timing and energ...
135
click to vote
ICECCS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...
129
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
A survivable agent system depends on the incorporation of many recovery features. However, the optimal use of these features requires the ability to assess the actual state of the...