3938 search results - page 84 / 788 » Interactive Protocols on the Reals |
136
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
145
click to vote
ICECCS
2009
IEEE
15 years 1 months ago
2009
IEEE
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...
129
click to vote
SEUS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. We consider the problem of programming distributed embedded real-time systems with distributed dependencies. We show that the de facto standard of using locks and conditi...
121
Voted
WCNC
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this paper, we present a reliable real-time data delivery (communication) mechanism for ad-hoc networks, called RTRD. The mechanism makes use of a proactive wireless routing ...
145
click to vote
ICPADS
2005
IEEE
15 years 9 months ago
2005
IEEE
In the audit process of Internet activities of users in a local area network, one of the most difficult problems is the problem of source authentication i.e. establishing securely...