3938 search results - page 84 / 788 » Interactive Protocols on the Reals |
104
Voted
CORR
2008
Springer
15 years 23 days 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...
117
Voted
ICECCS
2009
IEEE
14 years 10 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...
100
click to vote
SEUS
2008
IEEE
15 years 7 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...
WCNC
2008
IEEE
15 years 7 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 ...
119
Voted
ICPADS
2005
IEEE
15 years 6 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...