598 search results - page 55 / 120 » Aspect-Oriented Development Using Protocol Modeling |
TABLEAUX
1998
Springer
14 years 2 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
INFOCOM
1997
IEEE
14 years 1 months ago
1997
IEEE
The workload of the global Internet is dominated by the Hypertext Transfer Protocol (HTTP), an application protocol used by World Wide Web clients and servers. Simulation studies ...
MOBIHOC
2008
ACM
14 years 9 months ago
2008
ACM
Simulation of network protocol behavior in Vehicular Ad Hoc Network (VANET) scenarios is strongly demanded for evaluating the applicability of developed network protocols. In this...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
In this paper we explore use of a new rate-distortion metric for optimizing real-time Internet video streaming with the transmission control protocol (TCP). The basic idea is to c...
ECOI
2008
13 years 10 months ago
2008
Successful transfer and uptake of qualitative reasoning technology for modelling and simulation in a variety of domains has been hampered by the lack of a structured methodology t...