4499 search results - page 106 / 900 » Hyper-selection in dynamic environments |
FMCAD
2009
Springer
14 years 3 months ago
2009
Springer
Abstract—Symbolic Trajectory Evaluation is an industrialstrength verification method, based on symbolic simulation and abstraction, that has been highly successful in data path ...
UIC
2007
Springer
14 years 3 months ago
2007
Springer
Recent advances in wireless and mobile networking technology pose a new set of requirements and challenges that are not previously thought of, when it comes to smart space middlewa...
ASWEC
2006
IEEE
14 years 3 months ago
2006
IEEE
Over-the-air (OTA) delivery of applications is important to support as it enables easy deployment and upgrades to applications, thereby reducing the disrupting effect which instal...
ETRA
2006
ACM
14 years 3 months ago
2006
ACM
Next-generation immersive virtual environments and video games will require virtual agents with human-like visual attention and gaze behaviors. A critical step is to devise effic...
ICSOC
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we present a solution to the problem of dynamically deploying grid service factories onto computing nodes running an implementation of the Open Grid Services Infras...