1833 search results - page 359 / 367 » Mechanized Verification with Sharing |
MIS
2008
Springer
13 years 9 months ago
2008
Springer
A new system named Home-Explorer that searches and finds physical artifacts in a smart indoor environment is proposed. The view on which it is based is artifact-centered and uses s...
OSN
2008
13 years 9 months ago
2008
Control Plane architectures enhance transport networks with distributed signaling and routing mechanisms which allow dynamic connection control. As a result, layer 1 switching net...
PE
2008
Springer
13 years 9 months ago
2008
Springer
The DiffServ architecture has been proposed as a scalable approach for upgrading the Internet, adding service differentiation functionalities. However, several aspects of this arc...
SIGMETRICS
2008
ACM
13 years 9 months ago
2008
ACM
We consider a wireless collision channel, shared by a finite number of mobile users who transmit to a common base station using a random access protocol. Mobiles are selfoptimizin...
SIMPRA
2008
13 years 9 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...