1588 search results - page 170 / 318 » Modular action language |
137
click to vote
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...
138
click to vote
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
124
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...
102
click to vote
AAAI
2006
15 years 5 months ago
2006
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...
117
click to vote
AAAI
2000
15 years 5 months ago
2000
High-level robot controllers in realistic domains typically deal with processes which operate concurrently, change the world continuously, and where the execution of actions is ev...