Search Sciweavers | Sciweavers

891 search results - page 26 / 179

» Temporal Constraints: A Survey

click to vote

MFCS
1997
Springer

107views Theoretical Computer Science» more MFCS 1997»

Integrating the Specification Techniques of Graph Transformation and Temporal Logic

14 years 2 months ago

Download www.cs.uni-paderborn.de

The aim of this paper is an integration of graph grammars with different kinds of behavioural constraints, in particular with temporal logic constraints. Since the usual algebraic ...

Reiko Heckel, Hartmut Ehrig, Uwe Wolter, Andrea Co...

claim paper

Read More »

click to vote

COMPSAC
2009
IEEE

99views Software Engineering» more COMPSAC 2009»

Respecting Temporal Constraints in Virtualised Services

14 years 4 months ago

Download pico.sssup.it

This paper reports some experiences in providing service guarantees to real-time (RT) applications running in a Virtual Machine (VM), showing how proper scheduling is a necessary ...

Tommaso Cucinotta, Gaetano Anastasi, Luca Abeni

claim paper

Read More »

click to vote

CBMS
2007
IEEE

142views Medical Imaging» more CBMS 2007»

Temporal Constraints Approximation from Data about Medical Procedures

14 years 4 months ago

Download banzai-deim.urv.cat

Proposing a treatment to patients is one of the physicians’ most common tasks. There are different elements that influence the decision of a physician to propose an appropriate ...

Aida Kamisalic, David Riaño, Francis Real, ...

claim paper

Read More »

click to vote

RTSS
2006
IEEE

133views Control Systems» more RTSS 2006»

Compliance Enforcement of Temporal and Dosage Constraints

14 years 3 months ago

Download www.iis.sinica.edu.tw

P. H. Tsai, H. C. Yeh, C. Y. Yu, P. C. Hsiu, C. S....

claim paper

Read More »