857 search results - page 33 / 172 » Interactive Consistency in Quasi-Asynchronous Systems |
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
WCW
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a detailed workload characterization of a multi-tiered system that hosts an e-commerce site. Using the TPC-W workload and via experimental measurements, we ill...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract— Multi-agent systems (MAS) have received an increasing attention over the past few years. Here an MAS is a system consisted of multiple interacting intelligent agents. T...
HAPTICS
2009
IEEE
14 years 3 months ago
2009
IEEE
This work presents a new tactile display device for relaying contact information to locations along the human arm. The system is intended to facilitate teleoperation of whole-arm ...
BPSC
2009
13 years 6 months ago
2009
: Reliable, cost-efficient, and fast medical diagnosis is still a challenge in today's world. This paper presents a medical diagnosis system that combines the advantages of mu...