4411 search results - page 555 / 883 » Communication Complexity and Its Applications |
142
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
196
click to vote
EWSN
2004
Springer
16 years 6 months ago
2004
Springer
Directed diffusion is a prominent example of data-centric routing based on application layer data and purely local interactions. In its functioning it relies heavily on network-wid...
164
Voted
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Energy-ef ciency is one of the major concerns in wireless sensor networks since it impacts the network lifetime. In this paper, we investigate the relationship between sensor n...
164
click to vote
MOBIQUITOUS
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper describes a snapshot-based interface for networked appliances operations that allows users to store and reproduce the conditions of media contents in those appliances b...
192
click to vote
IUI
2005
ACM
16 years 9 days ago
2005
ACM
In this paper, we describe the development of CiteSpace as an integrated environment for identifying and tracking thematic trends in scientific literature. The goal is to simplify...