9821 search results - page 205 / 1965 » A Framework for the Development of Protocols |
226
click to vote
IM
2003
15 years 8 months ago
2003
: Internet Management is based on IETF specifications that have been developed and used during the past 14 years: There are multiple versions and options of the management protoco...
181
click to vote
USENIX
2003
15 years 8 months ago
2003
Twisted is a high-level networking framework that is built around event-driven asynchronous I/O. It supports TCP, SSL, UDP and other network transports. Twisted supports a wide va...
182
click to vote
ENTCS
2008
15 years 6 months ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
194
click to vote
JSAC
2006
15 years 6 months ago
2006
This tutorial paper overviews recent developments in optimization-based approaches for resource allocation problems in wireless systems. We begin by overviewing important results i...
174
click to vote
GPCE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...