4647 search results - page 149 / 930 » Composite Design Patterns |
DAC
2001
ACM
14 years 11 months ago
2001
ACM
CBSE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
PLDI
2006
ACM
14 years 4 months ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...
CSFW
2005
IEEE
14 years 3 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
ASIACRYPT
2003
Springer
14 years 3 months ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...