3971 search results - page 771 / 795 » On the Use of Properties in Java Applications |
188
click to vote
IPSN
2007
Springer
16 years 1 days ago
2007
Springer
Large-scale sensor network applications require in-network processing and data fusion to compute statistically relevant summaries of the sensed measurements. This paper studies di...
181
click to vote
SSD
2007
Springer
16 years 20 hour ago
2007
Springer
Abstract. Modern mobile phones and PDAs are equipped with positioning capabilities (e.g., GPS). Users can access public location-based services (e.g., Google Maps) and ask spatial ...
139
click to vote
VMCAI
2007
Springer
16 years 17 hour ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
151
click to vote
ECBS
2006
IEEE
15 years 12 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
170
click to vote
MOBICOM
2006
ACM
15 years 12 months ago
2006
ACM
For data-collection applications in sensor networks, it is important to ensure all data sources have equal (or weighted) access to network bandwidth so that the base stations rece...