3387 search results - page 439 / 678 » Model-Checking for Real-Time Systems |
212
click to vote
METMBS
2003
15 years 8 months ago
2003
Data retrieved from body sensors such as ECG machines and new-generation multi-sensor systems such as respiratory monitors are varied and abundant. Managing and integrating this s...
222
click to vote
NIPS
1997
15 years 8 months ago
1997
We have constructed an inexpensive, video-based, motorized tracking system that learns to track a head. It uses real time graphical user inputs or an auxiliary infrared detector a...
174
Voted
IJVR
2008
15 years 7 months ago
2008
In facility agriculture, it is an urgent problem to design and choose the type and facility of greenhouse based on user's requirements, which are always difficult to express c...
188
click to vote
COMPSAC
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
215
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes a preliminary cyberinfrastructure for contaminant characterization in water distribution systems and its deployment on the grid. The cyberinfrastructure consis...