Search Sciweavers | Sciweavers

586 search results - page 1 / 118

» Automated Reasoning on Aspects Interactions

click to vote

KBSE
2006
IEEE

118views Software Engineering» more KBSE 2006»

Automated Reasoning on Aspects Interactions

13 years 10 months ago

Download softeng.polito.it

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

claim paper

Read More »

click to vote

LICS
1992
IEEE

99views Automated Reasoning» more LICS 1992»

Operational aspects of linear lambda calculus

13 years 8 months ago

Download www.csl.sri.com

Patrick Lincoln, John C. Mitchell

claim paper

Read More »

click to vote

CORR
2008
Springer

151views Education» more CORR 2008»

Checking the Quality of Clinical Guidelines using Automated Reasoning Tools

13 years 4 months ago

Download www.cs.ru.nl

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...

claim paper

Read More »

click to vote

ICCBR
1999
Springer

122views Automated Reasoning» more ICCBR 1999»

Combining CBR with Interactive Knowledge Acquisition, Manipulation and Reuse

13 years 8 months ago