520 search results - page 23 / 104 » Distributed Monitoring of Hybrid Systems: A model-directed a... |
PDPTA
2000
13 years 9 months ago
2000
Code Mobility brings the possibility of building distributed systems better suited to a range of application areas. While platforms supporting Code Mobility are already in use, su...
REX
1991
13 years 11 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
VLDB
2007
ACM
14 years 8 months ago
2007
ACM
We present STAR, a self-tuning algorithm that adaptively sets numeric precision constraints to accurately and efficiently answer continuous aggregate queries over distributed data...
ISCAPDCS
2003
13 years 9 months ago
2003
Despite the widespread deployment of client/server technology, there seem to be no tools currently available that are adequate for analyzing and tuning the performance of client/s...
COR
2006
13 years 7 months ago
2006
In this paper we tackle the task assignment problem (TSAP) in heterogeneous computer systems. The TSAP consists of assigning a given distributed computer program formed by a numbe...