Sciweavers

1360 search results - page 223 / 272
» Reasoning on Workflow Executions
Sort
View
FOAL
2008
ACM
13 years 10 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz
COMMA
2008
13 years 10 months ago
A Methodology for Action-Selection using Value-Based Argumentation
This paper describes a method for decision making using argumentation. The method is intended to produce the decision considered most likely to promote the agent's aims and as...
Fahd Saud Nawwab, Trevor J. M. Bench-Capon, Paul E...
LREC
2010
147views Education» more  LREC 2010»
13 years 10 months ago
Assigning Wh-Questions to Verbal Arguments: Annotation Tools Evaluation and Corpus Building
This work reports the evaluation and selection of annotation tools to assign wh-question labels to verbal arguments in a sentence. Wh-question assignment discussed herein is a kin...
Magali Sanches Duran, Marcelo Adriano Amânci...
MEDINFO
2007
102views Healthcare» more  MEDINFO 2007»
13 years 10 months ago
Automatic Treatment of Temporal Issues in Clinical Guidelines in the GLARE System
Temporal constraints play a fundamental role in clinical guidelines. For example, temporal indeterminacy, constraints about duration, delays between actions and periodic repetitio...
Luca Anselma, Paolo Terenziani, Stefania Montani, ...
PTS
2007
112views Hardware» more  PTS 2007»
13 years 10 months ago
Symbolic Model Based Testing for Component Oriented Systems
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
Alain Faivre, Christophe Gaston, Pascale Le Gall