620 search results - page 95 / 124 » Abstract Analysis of Symbolic Executions |
AOSE
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
112
click to vote
MATES
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
94
Voted
ECOOP
1999
Springer
15 years 4 months ago
1999
Springer
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
81
Voted
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Bottom-up evaluation is a central part of query evaluation / program execution in deductive databases. It is used after a source code optimization like magic sets or SLDm...
82
Voted
AIS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...