4520 search results - page 605 / 904 » Algebraic Techniques for Timed Systems |
152
click to vote
GECCO
2005
Springer
16 years 8 days ago
2005
Springer
The size and complexity of systems based on multiple processing units demand techniques for the automatic diagnosis of their state. System-level diagnosis consists in determining ...
206
click to vote
DBISP2P
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We are witnessing a dramatic increase in the use of datacentric distributed systems such as global grid infrastructures, sensor networks, network monitoring, and various ...
189
click to vote
ESWS
2010
Springer
15 years 11 months ago
2010
Springer
Now motivated also by the partial support of major search engines, hundreds of millions of documents are being published on the web embedding semi-structured data in RDF, RDFa and ...
195
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Disk arrays (RAID) have been proposed as a possible approach to solving the emerging I/O bottleneck problem. The performance of a RAID system when all disks are operational and th...
182
click to vote
COORDINATION
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...