17082 search results - page 3293 / 3417 » Abstractions for Mobile Computation |
190
click to vote
DCOSS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Many applications for irrigation management and environment monitoring exploit buried sensors wired-connected to the soil surface for information retrieval. Wireless Unde...
240
click to vote
DLT
2009
15 years 4 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
184
click to vote
EJC
2009
15 years 4 months ago
2009
The starting point of this paper is the external surface of a word form, for example the agent-external acoustic perturbations constituting a language sign in speech or the dots o...
356
click to vote
EUROPKI
2009
Springer
15 years 4 months ago
2009
Springer
Efficient zero-knowledge proofs of knowledge (ZK-PoK) are basic building blocks of many cryptographic applications such as identification schemes, group signatures, and secure mult...
187
Voted
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Modern telecommunications companies currently undergo remarkable structural changes to be successful in the Next-Generation markets for communications and content product...