2477 search results - page 117 / 496 » First-Order Interactive Programming |
ICDCS
2002
IEEE
14 years 2 months ago
2002
IEEE
We focus on an important problem in the space of ubiquitous computing, namely, programming support for the distributed heterogeneous computing elements that make up this environme...
CAV
2007
Springer
14 years 1 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
The small size of handheld computers provides the convenience of mobility at the expense of reduced screen space for display and interaction. Prior research [5, 6] has identified ...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— Machines might physically interact with humans more smoothly if we better understood the subtlety of humanhuman physical interaction. We recently reported that two people worki...