3718 search results - page 404 / 744 » Programming by Integration in Robotics |
191
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
Service Oriented Architecture (SOA) promotes the utilization of available services to develop completely new applications in a context which has not been foreseen as these services...
184
click to vote
CAV
2004
Springer
16 years 8 days ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
187
click to vote
ASM
2003
ASM
16 years 3 days ago
2003
ASM
The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as defined in [7] allow one to faithfully refl...
195
click to vote
AUIC
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper describes the vital role of freehand sketching in the design process. When designers first tackle a design problem they usually do so by sketching. We will explore the ...
163
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Security-typed languages enforce confidentiality or integrity policies by type checking. This paper investigates continuation-passing style (CPS) translation of such languages as ...