4647 search results - page 149 / 930 » Composite Design Patterns |
166
click to vote
CBSE
2007
Springer
16 years 16 days 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...
173
click to vote
PLDI
2006
ACM
16 years 9 days 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...
205
click to vote
CSFW
2005
IEEE
15 years 12 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...
172
click to vote
ASIACRYPT
2003
Springer
15 years 11 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...