7961 search results - page 130 / 1593 » Input-Output Model Programs |
118
click to vote
LPNMR
1999
Springer
15 years 7 months ago
1999
Springer
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...
161
click to vote
SEKE
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
162
click to vote
ECOOP
1997
Springer
15 years 7 months ago
1997
Springer
We propose a new model for exible composition of objects et of features. Features are similar to (abstract) subclasses, but only provide the core functionality of a (sub)class. Ove...
129
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we present the most important features of SeSAm, a modeling and simulation platform for multi-agent simulations. Based on a declarative, explicit model representati...
143
click to vote
ERLANG
2006
ACM
15 years 9 months ago
2006
ACM
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...