597 search results - page 111 / 120 » Semantics for Dynamic Logic Programming: A Principle-Based A... |
113
click to vote
AI
2003
Springer
15 years 4 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
112
Voted
FORMATS
2003
Springer
15 years 4 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
ISORC
2000
IEEE
15 years 3 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
107
click to vote
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
WWW
2008
ACM
16 years 8 days ago
2008
ACM
Web service processes currently lack monitoring and dynamic (runtime) adaptation mechanisms. In highly dynamic processes, services frequently need to be exchanged due to a variety...