586 search results - page 33 / 118 » Automated Reasoning on Aspects Interactions |
AAMAS
2004
Springer
13 years 10 months ago
2004
Springer
Multi-agent teamwork is critical in a large number of agent applications, including training, education, virtual enterprises and collective robotics. The complex interactions of ag...
CL
2006
Springer
13 years 10 months ago
2006
Springer
Meta programming is the act of reasoning about a computational system. For example, a program in Prolog can reason about a program written in Smalltalk. Reflection is a more power...
CADE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
OOPSLA
2009
Springer
14 years 4 months ago
2009
Springer
This paper introduces S.P.L.O.T., a Web-based reasoning and configuration system for Software Product Lines (SPLs). The system benefits from mature logic-based reasoning techniq...
INTERACT
2003
13 years 11 months ago
2003
: Large displays are increasingly being placed in public places to support community and social activities. However, a major problem that has been observed with this new form of pu...