2203 search results - page 238 / 441 » Temporal Abstract Interpretation |
145
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Monitoring patients in intensive care units is a critical task. Simple condition detection is generally insufficient to diagnose a patient and may generate many false alarms to the...
161
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Distributed moving object database servers are a feasible solution to the scalability problem of centralized database systems. In this paper we propose a distributed inde...
BILDMED
2007
15 years 5 months ago
2007
Abstract. Although angiography was originally designed as a morphological imaging modality, it is increasingly demanded to retrieve functional information from conventional angiogr...
142
click to vote
DLOG
2006
15 years 5 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
123
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents the design and the implementation of an interface software component between OLE for Process Control (OPC) formatted data and the Global ...