197 search results - page 32 / 40 » Model Checking Control Communication of a FACTS Device |
MOBICOM
1999
ACM
13 years 12 months ago
1999
ACM
We present the results of a performance evaluation of link layer error recovery over wireless links. Our analysis is based upon a case study of the circuit-switched data service i...
CCECE
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper describes a model and a setup for emulating fractal and multifractal noise for the measurement and evaluation of performance of ZigBee mesh networks intended for harsh ...
EUROPAR
2009
Springer
14 years 5 days ago
2009
Springer
Data access in HPC infrastructures is realized via user-level networking and OS-bypass techniques through which nodes can communicate with high bandwidth and low-latency. Virtualiz...
GI
2005
Springer
14 years 1 months ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
SCN
2010
Springer
13 years 6 months ago
2010
Springer
In this work, we consider Authentication and Key Agreement (AKA), a popular client-server Key Exchange (KE) protocol, commonly used in wireless standards (e.g., UMTS), and widely c...