586 search results - page 15 / 118 » Automated Reasoning on Aspects Interactions |
136
click to vote
ICCBR
2005
Springer
15 years 11 months ago
2005
Springer
Tutoring systems have been a popular domain for CBR since its very beginning. In this paper we draw a connection between casebased teaching and learning-by-doing approach to tutori...
144
click to vote
DEON
2008
Springer
15 years 7 months ago
2008
Springer
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between...
171
click to vote
APIN
1998
15 years 5 months ago
1998
Abstract. Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no syst...
192
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
142
click to vote
SIGSOFT
2004
ACM
16 years 6 months ago
2004
ACM
We present a new classification system for aspect-oriented programs. This system characterizes the interactions between aspects and methods and identifies classes of interactions ...