4520 search results - page 585 / 904 » Algebraic Techniques for Timed Systems |
140
click to vote
CAEPIA
2003
Springer
16 years 20 hour ago
2003
Springer
In decision support systems for Intensive Care Units (ICU), the data management subsystem plays an essential role since the data have a heterogeneous origin. The temporal dimension...
211
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
The increasingly common practice of replicating datasets and using resources as distributed data stores in Grid environments has led to the problem of determining which replica ca...
188
click to vote
PROMS
2001
Springer
15 years 11 months ago
2001
Springer
A true video-on-demand(TVOD) system lets users view any video program, at any time, and perform any VCR functions, but its peruser video delivery cost is too expensive. A near vide...
157
click to vote
ASWEC
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents the framework of a scale-oriented scheme for the presentation and classification of reverse engineered sections of procedural code into objects. The aim is to ...
182
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. The Navy needs to use Multi Level Security (MLS) techniques in an environment with increasing amount of real time computation brought about by increased automation requir...