Sciweavers

4008 search results - page 445 / 802
» An expressive language of signatures
Sort
View
AIME
2009
Springer
16 years 1 months ago
Analysing Clinical Guidelines' Contents with Deontic and Rhetorical Structures
The computerisation of clinical guidelines can greatly benefit from the automatic analysis of their content using Natural Language Processing techniques. Because of the central rol...
Gersende Georg, Hugo Hernault, Marc Cavazza, Helmu...
FSEN
2009
Springer
16 years 1 months ago
A Process-Theoretic Look at Automata
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Lutti...
IWINAC
2009
Springer
16 years 1 months ago
Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study
Computer-based decision support in health-care is becoming more and more important in recent years. Clinical Practise Guidelines are documents supporting health-care professionals ...
Guido Sciavicco, José M. Juárez, Man...
MODELS
2009
Springer
16 years 1 months ago
Modeling Modeling
Abstract. Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molière...
Pierre-Alain Muller, Frédéric Fondem...
FDL
2008
IEEE
16 years 1 months ago
Event-Triggered vs. Time-Triggered Communications with UML MARTE
In the real-time and embedded domain, systems tend to combine periodic and aperiodic computations. This leads to mixing event-triggered with timetriggered communications with thei...
Frédéric Mallet, Robert de Simone, L...