2813 search results - page 477 / 563 » Formalizing Architectural Connection |
134
click to vote
ACNS
2008
Springer
15 years 9 months ago
2008
Springer
In the pursuit of authentication schemes that balance user privacy and accountability, numerous anonymous credential systems have been constructed. However, existing systems assume...
134
click to vote
DASFAA
2007
IEEE
15 years 9 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
129
click to vote
MEMOCODE
2007
IEEE
15 years 9 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
103
click to vote
SIES
2007
IEEE
15 years 9 months ago
2007
IEEE
In our previous work [1], Full Duplex Switched Ethernet was put forward as an attractive candidate to replace the MIL-STD 1553B data bus, in next generation "1553B"embedd...
136
click to vote
CBSE
2007
Springer
15 years 9 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...