4480 search results - page 383 / 896 » Prototyping Completion with Constraints Using Computational ... |
186
Voted
WOWMOM
2005
ACM
16 years 8 days ago
2005
ACM
A mobile ad hoc network is a collection of nodes that is connected through a wireless medium forming rapidly changing topologies. The widely accepted existing routing protocols de...
150
click to vote
MOBISYS
2007
ACM
16 years 6 months ago
2007
ACM
To allow for an efficient usage of a device in pervasive computing environments, reliable and yet convenient user access is an important requirement. The problem becomes more comp...
159
click to vote
ISWC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper introduces Virtual Information Towers (VITs) as a concept for presenting and accessing location-aware information with mobile clients. A VIT is a means of structuring l...
181
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...
148
click to vote
SPIN
2004
Springer
16 years 2 days ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...