3573 search results - page 655 / 715 » Reasoning about Codata |
111
click to vote
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
One of the reasons why large-scale software development is difficult is the number of dependencies that software engineers need to face: e.g., dependencies among the software comp...
108
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
135
Voted
CRYPTO
2008
Springer
15 years 2 months ago
2008
Springer
In cryptography, there has been tremendous success in building various two-party protocols with small communication complexity out of homomorphic semantically-secure encryption sc...
108
click to vote
EKAW
2008
Springer
15 years 2 months ago
2008
Springer
Despite the potential of domain ontologies to provide consensual representations of domain-relevant knowledge, the open, distributed and decentralized nature of the Semantic Web me...
101
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. There are many settings in which sensitive information is made available to a system or organisation for a specific purpose, on the understanding that it will be erased o...