2607 search results - page 472 / 522 » On the Architecture of System Verification Environments |
UML
2005
Springer
14 years 27 days ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
CF
2004
ACM
14 years 25 days ago
2004
ACM
Aimed to provide computation ubiquitously, pervasive computing is perceived as a means to provide a user the transparency of anywhere, anyplace, anytime computing. Pervasive compu...
MM
2004
ACM
14 years 25 days ago
2004
ACM
living-room is an augmented reality (AR) installation developed to study interactive, space-oriented AR-scenarios. The installation consists of the living-room box, a room that is...
DBISP2P
2004
Springer
14 years 24 days ago
2004
Springer
In this paper we examine the dissemination of reports about resources in mobile networks with hotspots, where hotspots, vehicles and sensors communicate with each other via short-r...
JSSPP
2004
Springer
14 years 23 days ago
2004
Springer
Using a single traditional gang scheduling algorithm cannot provide the best performance for all workloads and parallel architectures. A solution for this problem is the use of...