3938 search results - page 13 / 788 » Interactive Protocols on the Reals |
ISORC
2002
IEEE
14 years 3 months ago
2002
IEEE
The Real-Time CORBA and minimumCORBA specifications are important steps towards defining standard-based middleware which can satisfy real-time requirements in an embedded system...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper investigates the suitability of applying the general-purpose Real-Time Maude tool to the formal specification and model checking analysis of timedependent cryptographi...
ICDCS
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper, we present a real-time communication protocol for sensor networks, called SPEED. The protocol provides three types of real-time communication services, namely, real...
ADHOCNETS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. This paper proposes a way to incorporate multimedia traffic in a real-time wireless communication network without jeopardizing the hard real-time traffic. This idea has ...
IPPS
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...