3168 search results - page 406 / 634 » Design, implementation and evaluation of a virtual storage s... |
182
click to vote
AAAI
2007
15 years 9 months ago
2007
A major challenge in robotics and artificial intelligence lies in creating robots that are to cooperate with people in human-populated environments, e.g. for domestic assistance ...
175
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
157
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...
177
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...
147
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
This paper proposes PhotoChat, a system that facilitates communication among users who want to share experiences by enabling them to share photos and notes. PhotoChat is designed ...