8228 search results - page 172 / 1646 » Structural Logical Relations |
138
Voted
ADHOCNETS
2010
Springer
15 years 20 days 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...
147
Voted
IFIP
2010
Springer
14 years 9 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...
129
Voted
CHI
2005
ACM
16 years 3 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...
115
Voted
CADE
1998
Springer
15 years 6 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...
115
click to vote
IFSA
2007
Springer
15 years 8 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...