774 search results - page 88 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
CSCWD
2008
Springer
14 years 11 months ago
2008
Springer
3D information systems for education must be investigated and adopted for a more involving form of learning. It is in this context that we propose the use of Second Life as an env...
DAC
2003
ACM
15 years 10 months ago
2003
ACM
Conventionally, microarchitecture designs are mainly guided by the maximum throughput (measured as IPC) and fail to evaluate the impact of architectural decisions on the physical ...
WDAG
2007
Springer
15 years 3 months ago
2007
Springer
We study adaptive routing algorithms in a round-based model. Suppose we are given a network equipped with load-dependent latency functions on the edges and a set of commodities eac...
AUSAI
2005
Springer
15 years 3 months ago
2005
Springer
This paper addresses the problem of scheduling jobs in soft real-time systems, where the utility of completing each job decreases over time. We present a utility-based framework fo...
TCS
2008
14 years 9 months ago
2008
The object of this paper is to appreciate the computational limits inherent in the combinatorics of an applied concurrent (aka agent-based) language . That language is primarily m...