298 search results - page 22 / 60 » UPPAAL - Now, Next, and Future |
RR
2007
Springer
14 years 1 months ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
Abstract— With technology scaling, on-chip power densities are growing steadily, leading to the point where temperature has become an important consideration in the design of ele...
EMSOFT
2005
Springer
14 years 27 days ago
2005
Springer
Many computer scientists recognize the adverse relationship between Microsoft Windows, a general purpose operating system, which by design does not support Real Time, a specific ...
EAGC
2004
Springer
14 years 23 days ago
2004
Springer
Several Grid projects have been established that deploy a “first generation Grid”. In order to categorise existing projects in Europe, we have developed a taxonomy and applied...
HICSS
2003
IEEE
14 years 20 days ago
2003
IEEE
At the German Distance Learning University, collaborative synchronous exercises have been recently identified by students and teachers as an important future form of collaborative...