2067 search results - page 362 / 414 » Modeling and Simulation of Operating System Behavior |
NOSSDAV
2005
Springer
15 years 3 months ago
2005
Springer
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
GECCO
2010
Springer
15 years 2 months ago
2010
Springer
Gas chemical sensors are strongly affected by the so-called drift, i.e., changes in sensors’ response caused by poisoning and aging that may significantly spoil the measures g...
ASYNC
2007
IEEE
15 years 1 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
VLDB
2002
ACM
14 years 9 months ago
2002
ACM
An increasing number of applications use XML data published from relational databases. For speed and convenience, such applications routinely cache this XML data locally and acces...
CCS
2010
ACM
14 years 7 months ago
2010
ACM
Remote operating system fingerprinting relies on implementation differences between OSs to identify the specific variant executing on a remote host. Because these differences can ...