5639 search results - page 93 / 1128 » Timed Abstract Non-interference |
104
click to vote
FUIN
2002
14 years 11 months ago
2002
The possibility of two or more actions to be performed consecutively at the same point in time is not excluded in the process algebras from the framework of process algebras with t...
106
click to vote
RTCSA
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Time synchronization is a key component in numerous wireless sensor network applications. Most of the current software based time synchronization approaches suffer from ...
102
click to vote
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— This paper investigates the near-memoryless behavior of the service time for IEEE 802.11 saturated single-hop ad hoc networks. We show that the number of packets succes...
FORMATS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— In this paper we consider the problem of optimizing over the switching times for a multi-modal dynamic system when the complete cost-to-go is not available. The instant...