8228 search results - page 172 / 1646 » Structural Logical Relations |
152
click to vote
ADHOCNETS
2010
Springer
15 years 2 months ago
2010
Springer
Communication neighborhood in wireless sensor networks changes often as links break or appear. Therefore, monitoring link quality and (logical) network topology is necessary. As no...
168
click to vote
IFIP
2010
Springer
14 years 11 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
148
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
Recent years have seen the evolution of networks of tiny low power computing blocks, known as sensor networks. In one class of sensor networks, a non-expert user, who has little o...
128
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. In this paper we present an extensional higher-order resolution calculus that is complete relative to Henkin model semantics. The treatment of the extensionality principl...
127
click to vote
IFSA
2007
Springer
15 years 10 months ago
2007
Springer
One of the important components of granular computing is interval computations. In interval computations, at each intermediate stage of the computation, we have intervals of possi...