7047 search results - page 204 / 1410 » Focusing on Binding and Computation |
215
click to vote
ACL2
2006
ACM
16 years 14 days ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
176
click to vote
ADHOCNOW
2005
Springer
16 years 1 days ago
2005
Springer
We present the Ad-hoc On-demand Secure Routing (AOSR) protocol, which uses pairwise shared keys between pairs of mobile nodes and hash values keyed with them to verify the validity...
158
click to vote
ICCSA
2005
Springer
16 years 17 hour ago
2005
Springer
Abstract. Though some studies involving general micro-mobility exist, micromobility research concerning a mobile node (MN) moving between Mobile Anchor Points (MAP) is lacking. In ...
170
click to vote
COORDINATION
2005
Springer
15 years 12 months ago
2005
Springer
Software systems are becoming more open, distributed, pervasive, and connected. In such systems, the relationships between loosely-coupled application elements become non-determini...
179
click to vote
NDSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The current trend in mobile networking is towards mobile hosts that have multiple network interfaces, e.g., WLAN and GPRS. However, when the current Internet architecture was orig...