475 search results - page 59 / 95 » Reasoning About the Transfer of Control |
ENTCS
2010
13 years 7 months ago
2010
We present a novel specification language called JDC to be used at design phase of distributed components. The extensive seek for asynchrony in distributed components demands new ...
FUIN
2008
13 years 7 months ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
LOBJET
2008
13 years 7 months ago
2008
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
JFP
2002
13 years 7 months ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— This paper presents a strategy for planning robot motions in dynamic, cluttered, and uncertain environments. Successful and efficient operation in such environments requires r...