3207 search results - page 454 / 642 » A Semantics for HTN Methods |
198
click to vote
AGTIVE
2007
Springer
16 years 17 days ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
157
click to vote
APWEB
2007
Springer
16 years 17 days ago
2007
Springer
Ontologies are increasingly used in various applications (e.g., semantic interoperability, data integration). In particular, there is a trend in applying ontologies to improve resu...
161
click to vote
CAV
2007
Springer
16 years 17 days ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
161
click to vote
CMMR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. The current study is part of a larger project aiming at offering intuitive mappings of control parameters piloting synthesis models by semantic descriptions of sounds, i...
153
click to vote
ECOOP
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Aspect-oriented programming languages usually are extensions of object-oriented ones, and their compilation target is usually the (virtual) machine model of the language ...