5350 search results - page 223 / 1070 » Space and time in eco-ontologies |
182
click to vote
ISPAN
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a strategy for efficiently rendering time-varying volume data on a distributed-memory parallel computer. Visualizing time-varying volume data take both large s...
172
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
198
click to vote
AAAI
2007
15 years 9 months ago
2007
In timed, zero-sum games, the goal is to maximize the probability of winning, which is not necessarily the same as maximizing our expected reward. We consider cumulative intermedi...
192
click to vote
ENTCS
2007
15 years 6 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
155
click to vote
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
Probability distributions of response times are important in the design and analysis of transaction processing systems and computercommunication systems. We present a general tech...