1675 search results - page 71 / 335 » Compositional Model-Based Design |
129
Voted
ICWS
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract. Todays information systems are built using various component models such as Enterprise Java Beans, JavaBeans, Microsoft COM+, and CORBA distributed objects. In this paper...
126
click to vote
CBSE
2007
Springer
15 years 8 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...
125
Voted
PLDI
2006
ACM
15 years 8 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...
152
Voted
CSFW
2005
IEEE
15 years 7 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...
116
Voted
ASIACRYPT
2003
Springer
15 years 7 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...