4286 search results - page 59 / 858 » Formalizing Service Interactions |
151
click to vote
SIAMCOMP
2002
15 years 2 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
151
Voted
RWEB
2010
Springer
15 years 27 days ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
108
Voted
IJNSEC
2008
15 years 2 months ago
2008
As online businesses keep growing and Web services become pervasive, there is an increasing demand for micropayment protocols that facilitate microcommerce, namely selling content...
118
Voted
COMPSEC
2004
15 years 2 months ago
2004
Traditionally, creation and revocation of certificates are governed by policies that are carried manually, off-line, by trusted agents. This approach to certificate management is ...
132
click to vote
IUI
2003
ACM
15 years 7 months ago
2003
ACM
With the emergence of modularized componentbased electronic services, such as Web Services and semantically tagged services, Individual Service Provisioning, wherein any user can ...