7526 search results - page 372 / 1506 » The Design and Implementation of the A2QM3 System |
176
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
163
click to vote
NSDI
2007
15 years 9 months ago
2007
Byzantine fault tolerant systems behave correctly when no more than f out of 3f + 1 replicas fail. When there are more than f failures, traditional BFT protocols make no guarantee...
199
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
Automatic service composition is an active research area in the field of service computing. This paper presents a distributed approach to automatically discover a composition of s...
145
click to vote
HCI
2007
15 years 8 months ago
2007
This paper proposes new method for object reference which enables a person to find surrounding objects and develops a navigation system named CoCo. CoCo employs an ultrasonic direc...
182
click to vote
SIGOPS
2008
15 years 6 months ago
2008
The Caernarvon operating system was developed to demonstrate that a high assurance system for smart cards was technically feasible and commercially viable. The entire system has b...