315 search results - page 26 / 63 » Loop Termination Prediction |
ISW
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Code obfuscations are semantics-preserving code transformations used to protect a program from reverse engineering. There is generally no expectation of complete, long-te...
FASE
2001
Springer
14 years 4 days ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
IFL
2001
Springer
14 years 3 days ago
2001
Springer
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as h...
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
—A major issue in the field of human-robot interaction for assistance to manipulation is transparency. This basic feature qualifies the capacity for a robot to follow human mov...
ICRA
2007
IEEE
14 years 2 months ago
2007
IEEE
Prediction of dynamic features is an important task for determining the manipulation strategies of an object. This paper presents a technique for predicting dynamics of objects re...