9821 search results - page 159 / 1965 » A Framework for the Development of Protocols |
147
click to vote
TWC
2008
15 years 4 months ago
2008
In this paper the tradeoff between energy and delay for wireless networks is studied. A network using a request-to-send (RTS) and clear-to-send (CTS) type medium access control (M...
126
click to vote
TPDS
2010
15 years 3 months ago
2010
—Peer-to-peer (P2P) streaming has been widely deployed over the Internet. A streaming system usually has multiple channels, and peers may form multiple groups for content distrib...
145
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Following the ideas of the Remote Procedure Call model, we have developed a logic programming counterpart, naturally called Prolog Remote Predicate Call (Prolog RPC) [1]. The Prol...
171
click to vote
FORMATS
2004
Springer
15 years 8 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
147
click to vote
JUCS
2008
15 years 4 months ago
2008
: The aim of this paper is to review the best known methodologies for web applications development as well as the existing supporting tools and techniques from an accessibility-cen...