729 search results - page 118 / 146 » Communicating Evolving Algebras |
ISPEC
2010
Springer
13 years 9 months ago
2010
Springer
Often authentication and confidentiality are required as simultaneous key requirements in many cryptographic applications. The cryptographic primitive called signcryption effective...
CONEXT
2008
ACM
13 years 9 months ago
2008
ACM
Network testbeds for developing, deploying, and experimenting with new network services have evolved as recent rapid progress in virtualization technology. This paper proposes a n...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
ECSCW
2007
13 years 9 months ago
2007
: This paper considers the nature of conflict in relation to the environments within which distributed teams cooperate. Effective conflict management can bring great benefits to di...
WICON
2008
13 years 9 months ago
2008
Integrating wireless sensor networks in heterogeneous networks is a complex task. A reason is the absence of a standardized data exchange format that is supported in all participa...