2501 search results - page 125 / 501 » Obligations and Their Interaction with Programs |
CAV
2007
Springer
14 years 28 days 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 6 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...
SIGCSE
2006
ACM
14 years 2 months ago
2006
ACM
interactive teaching materials, primarily because of its integration with the web through the applet mechanism. The 1997 and 1998 ITiCSE conferences convened working groups to deve...