255 search results - page 18 / 51 » A Multiphased Approach for Modeling and Analysis of the BitT... |
ICECCS
2005
IEEE
14 years 1 months ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
VTC
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract The concept of providing mobile Internet connectivity for passengers in public transport vehicles, where users connect to a local network that attaches to the Internet v...
PODC
2004
ACM
14 years 1 months ago
2004
ACM
We propose a framework to translate certain subclasses of differential equation systems into distributed protocols that are practical. The synthesized protocols are state machine...
WSC
2004
13 years 9 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...
ICWS
2007
IEEE
13 years 9 months ago
2007
IEEE
Business protocols are becoming a necessary part of Web services description [4]. The work presented in [4] investigates mechanisms for analyzing the compatibility and the substit...