154 search results - page 27 / 31 » A Formal Semantics for Protocol Narrations |
153
click to vote
JODL
2000
15 years 4 months ago
2000
Z39.50 is a client/server protocol widely used in digital libraries and museums for searching and retrieving information spread over a number of heterogeneous sources. To overcome ...
143
click to vote
POPL
2012
ACM
14 years 1 days ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
135
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
The duration of time for which each application locks each shared resource is critically important in composing multiple independently-developed applications upon a shared “open...
147
click to vote
CBSE
2007
Springer
15 years 10 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...
114
click to vote
CCS
2004
ACM
15 years 10 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...