12115 search results - page 2080 / 2423 » Bisimulation of Dynamical Systems |
173
click to vote
VR
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstraction Layers for VR Application Development Gerwin de Haan∗ Michal Koutek† Frits H. Post‡ Delft University of Technology, The Netherlands The development of domain-spe...
180
click to vote
ADAPTIVE
2007
Springer
16 years 28 days ago
2007
Springer
Despite the fact that adaptive hypermedia techniques have proven their ability to provide user guidance and orientation in hyperspace, we do not currently see the widespread adopti...
152
click to vote
CALCO
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
150
click to vote
CC
2007
Springer
16 years 28 days ago
2007
Springer
Optimizing programs for modern multiprocessor or vector platforms is a major important challenge for compilers today. In this work, we focus on one challenging aspect: the SIMD ALI...
166
click to vote
CCS
2007
ACM
16 years 28 days ago
2007
ACM
Data outsourcing is becoming today a successful solution that allows users and organizations to exploit external servers for the distribution of resources. Some of the most challe...