21007 search results - page 3826 / 4202 » Mobile Parallel Computing |
175
click to vote
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
Starting from the opinion that the standard firing rule of Petri nets embodies the collective token interpretation of nets rather than their individual token interpretation, I pro...
166
click to vote
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
Many decidability results are known for non-recursive cryptographic protocols, where the protocol steps can be expressed by simple rewriting rules. Recently, a tree transducer-base...
175
click to vote
DCOSS
2005
Springer
16 years 9 days ago
2005
Springer
The literature on programming sensor networks has focused so far on g higher-level abstractions for expressing local node behavior. Kairos is a natural next step in sensor network ...
187
click to vote
DCOSS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Two difficulties in designing data-centric routes [2–5] in wireless sensor networks are the lack of reasonably practical data aggregation models and the high computatio...
203
click to vote
ESORICS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....