Sciweavers

2701 search results - page 72 / 541
» On the form of witness terms
Sort
View
IROS
2009
IEEE
123views Robotics» more  IROS 2009»
16 years 28 days ago
Scalable self-assembly and self-repair in a collective of robots
—A collective of robots can together complete a task that is beyond the capabilities of any of its individual robots. One property of a robotic collective that allows it to compl...
Michael Rubenstein, Wei-Min Shen
HAID
2007
Springer
16 years 13 days ago
Designing Eyes-Free Interaction
As the form factors of computational devices diversify, the concept of eyes-free interaction is becoming increasingly relevant: it is no longer hard to imagine use scenarios in whi...
Ian Oakley, Junseok Park
SIGCSE
2006
ACM
117views Education» more  SIGCSE 2006»
16 years 7 days ago
Visual programming and the blind: the challenge and the opportunity
The proliferation of graphical user interfaces has had a dramatic impact on the ability to work as a programmer. It is particularly difficult for the blind to create forms for vis...
Robert M. Siegfried
EUROPAR
2005
Springer
15 years 11 months ago
Replication Predicates for Dependent-Failure Algorithms
Abstract. To establish lower bounds on the amount of replication, there is a common partition argument used to construct indistinguishable executions such that one violates some pr...
Flavio Paiva Junqueira, Keith Marzullo
DISCEX
2003
IEEE
15 years 11 months ago
Towards a Rigorous Definition of Information System Survivability
The computer systems that provide the information underpinnings for critical infrastructure applications, both military and civilian, are essential to the operation of those appli...
John C. Knight, Elisabeth A. Strunk, Kevin J. Sull...