8555 search results - page 1393 / 1711 » Property Based Coordination |
161
click to vote
ICICS
2004
Springer
16 years 5 days ago
2004
Springer
A mobile ad hoc network (MANET) is formed by a group of mobile wireless nodes, each of which functions as a router and agrees to forward packets for others. Many routing protocols ...
159
Voted
ICSNW
2004
Springer
16 years 5 days ago
2004
Springer
With new standards like RDF or OWL paving the way for the much anticipated Semantic Web, a new breed of very large scale semantic systems is about to appear. Traditional semantic r...
223
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
160
click to vote
IH
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Existing navigation services, such as GPS, offer no signalintegrity (anti-spoof) protection for the general public, especially not with systems for remote attestation of...
209
click to vote
IMR
2004
Springer
16 years 5 days ago
2004
Springer
A surface is often approximated by a network of triangular facets. In the absence of a precise mathematical description of the underlying surface all information about surface pro...