1521 search results - page 222 / 305 » Developing Adaptive and Context-aware Applications in Dynami... |
139
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
225
click to vote
ICDE
2003
IEEE
16 years 4 months ago
2003
IEEE
Enabling mobility in urban and populous areas needs innovative tools and novel techniques for individual traffic planning. We present a prototype of a traffic information system e...
108
Voted
PADS
2003
ACM
15 years 8 months ago
2003
ACM
In distributed simulations, such as multi-player distributed virtual environments (DVE), power consumption traditionally has not been a major design factor. However, emerging batt...
144
Voted
HPDC
1998
IEEE
15 years 7 months ago
1998
IEEE
Modern scientific computing involves organizing, moving, visualizing, and analyzing massive amounts of data from around the world, as well as employing largescale computation. The...
173
Voted
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—As the rapid expansion of smart phones and associated data-intensive applications continues, we expect to see renewed interest in dynamic prioritization schemes as a way...