Sciweavers

492 search results - page 27 / 99
» Exploring Recovery from Operating System Lockups
Sort
View
JCSS
2008
96views more  JCSS 2008»
13 years 7 months ago
Stateless data concealment for distributed systems
With the growing number of Web applications and their variety, the need to prevent unauthorised access to data and to ensure data integrity in distributed systems has led to an in...
Rachid Anane, Sukhvir Dhillon, Behzad Bordbar
CHI
2006
ACM
14 years 8 months ago
The effect of miscommunication rate on user response preferences
We report results from a small Wizard-of-Oz study investigating user responses to miscommunications in speech dialogue systems. We explore the separate and joint effects of miscom...
Carolyn Penstein Rosé, Hua Ai, Thomas Harri...
AROBOTS
2000
104views more  AROBOTS 2000»
13 years 7 months ago
Heterogeneous Teams of Modular Robots for Mapping and Exploration
In this article, we present the design of a team of heterogeneous, centimeter-scale robots that collaborate to map and explore unknown environments. The robots, called Millibots, a...
Robert Grabowski, Luis E. Navarro-Serment, Christi...
WDAG
2010
Springer
230views Algorithms» more  WDAG 2010»
13 years 6 months ago
Implementing Fault-Tolerant Services Using State Machines: Beyond Replication
Abstract—This paper describes a method to implement faulttolerant services in distributed systems based on the idea of fused state machines. The theory of fused state machines us...
Vijay K. Garg
ACTA
2004
86views more  ACTA 2004»
13 years 7 months ago
Specification transformers: a predicate transformer approach to composition
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
Michel Charpentier, K. Mani Chandy