1588 search results - page 127 / 318 » Modular action language |
149
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences...
154
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Product line development places emphasis on quality attributes like understandability, maintainability, reusability and variability. Better modularization techniques like ...
169
click to vote
PODS
2006
ACM
16 years 6 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
197
click to vote
AFRICACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a simple zero-knowledge proof of knowledge protocol of which many protocols in the literature are instantiations. These include Schnorr’s protocol for provin...
126
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...