3573 search results - page 336 / 715 » Reasoning about Codata |
132
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— The presence of humans should be explicitly taken into account in all steps of robot’s design and particularly for robot motion. The robot should reason about human partnerâ€...
142
click to vote
ISPW
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper shows that process definition and analysis technologies can be used to reason about the vulnerability of election processes with respect to incorrect or fraudulent behav...
157
click to vote
VL
2006
IEEE
15 years 11 months ago
2006
IEEE
The problem of dependability in end-user programming is an emerging area of interest. Pair collaboration in end-user software development may offer a way for end users to debug th...
146
click to vote
WCRE
2006
IEEE
15 years 11 months ago
2006
IEEE
Aspect mining requires adequate tool support to locate source code elements implementing crosscutting concerns (aka seeds), to explore and understand relations describing these el...
144
click to vote
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...