440 search results - page 25 / 88 » Local reasoning for abstraction and sharing |
109
click to vote
MOBICOM
2005
ACM
15 years 7 months ago
2005
ACM
One of the challenging tasks in the deployment of dense wireless networks (like sensor networks) is in devising a routing scheme for node to node communication. Important consider...
96
Voted
ICWE
2010
Springer
15 years 13 days ago
2010
Springer
Abstract. In the Internet of Things several objects with network capabilities are connected over a self-configured local network with other objects to interact and share knowledge...
114
click to vote
TLDI
2009
ACM
15 years 10 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
116
click to vote
DARS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract—In this paper we present a new approach to the problem of simultaneously localizing a group of mobile robots capable of sensing one another. Each of the robots collects ...
113
click to vote
PAM
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Workload characterization is important for understanding how systems and services are used in practice and to help identify design improvements. To better understand the ...