10707 search results - page 71 / 2142 » Designing executable abstractions |
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
137
click to vote
WCET
2003
15 years 4 months ago
2003
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expr...
148
click to vote
IMCSIT
2010
15 years 27 days ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...
110
click to vote
IROS
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— This paper explores autonomous locomotion, reaching, grasping and manipulation for the domain of Navigation Among Movable Obstacles (NAMO). The robot perceives and cons...
128
click to vote
ISW
2004
Springer
15 years 8 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...