1588 search results - page 127 / 318 » Modular action language |
114
Voted
FOAL
2007
ACM
15 years 7 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...
118
Voted
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
Product line development places emphasis on quality attributes like understandability, maintainability, reusability and variability. Better modularization techniques like ...
123
Voted
PODS
2006
ACM
16 years 3 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...
157
Voted
AFRICACRYPT
2009
Springer
15 years 10 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...
89
Voted
ATAL
2007
Springer
15 years 9 months 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...