14331 search results - page 315 / 2867 » On the modeling and analysis of obligations |
183
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
171
click to vote
CNSR
2006
IEEE
16 years 24 days ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
189
click to vote
WOWMOM
2005
ACM
16 years 8 days ago
2005
ACM
We present in this paper an analytical model that accounts for the positions of stations with respect to the Access Point (AP) while evaluating the performance of 802.11 MAC layer...
170
click to vote
SPAA
1990
ACM
15 years 10 months ago
1990
ACM
Multithreading has been proposed as an architectural strategy for tolerating latency in multiprocessors and, through limited empirical studies, shown to offer promise. This paper ...
172
click to vote
ANSS
2001
IEEE
15 years 10 months ago
2001
IEEE
Simulation software has made great advances in recent years along the dimensions of modeling capabilities, animated graphics, and ease of use. There have also been real improvemen...