3378 search results - page 262 / 676 » A universe of binding and computation |
191
click to vote
SOCA
2007
IEEE
16 years 29 days ago
2007
IEEE
To enhance UDDI query capability, typically based on taxonomic classification, semantic matching is assuming a key role. Even if we recognize the great importance of semantics in ...
221
click to vote
ACL2
2006
ACM
16 years 21 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...
187
click to vote
ADHOCNOW
2005
Springer
16 years 8 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...
136
click to vote
EDO
2005
Springer
16 years 7 days ago
2005
Springer
Publish/subscribe research has so far been mostly focused on efficient event routing, event filtering, and composite event detection. The little research that has been published ...
164
click to vote
ICCSA
2005
Springer
16 years 6 days 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 ...