Sciweavers

586 search results - page 1 / 118
» Automated Reasoning on Aspects Interactions
Sort
View
90
Voted
KBSE
2006
IEEE
15 years 6 months ago
Automated Reasoning on Aspects Interactions
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...
Paolo Falcarin, Marco Torchiano
LICS
1992
IEEE
15 years 5 months ago
Operational aspects of linear lambda calculus
Patrick Lincoln, John C. Mitchell
CORR
2008
Springer
151views Education» more  CORR 2008»
15 years 29 days ago
Checking the Quality of Clinical Guidelines using Automated Reasoning Tools
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
Arjen Hommersom, Peter J. F. Lucas, Patrick van Bo...
85
Voted
ICCBR
1999
Springer
15 years 5 months ago
Combining CBR with Interactive Knowledge Acquisition, Manipulation and Reuse
David B. Leake, David C. Wilson
97
Voted
GIS
2008
ACM
15 years 28 days ago
The role of ontology in improving gazetteer interaction
Krzysztof Janowicz, Carsten Keßler