Sciweavers

4212 search results - page 467 / 843
» Rights Expression Languages
Sort
View
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...
HASE
2008
IEEE
16 years 1 months ago
A Grammar-Based Reverse Engineering Framework for Behavior Verification
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
Chunying Zhao, Kang Zhang
KBSE
2008
IEEE
16 years 1 months ago
A Generic Approach for Class Model Normalization
Designing and maintaining a huge class model is a very complex task. When an object oriented software or model becomes bigger and bigger, duplicated elements start to appear, decr...
Jean-Rémy Falleri, Marianne Huchard, Cl&eac...