1164 search results - page 120 / 233 » Type based service composition |
134
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
132
Voted
PERCOM
2009
ACM
16 years 4 months ago
2009
ACM
Abstract--Presence, broadly defined as an event publishnotification infrastructure for converged applications, has emerged as a key mechanism for collecting and disseminating conte...
140
Voted
SIGMOD
2002
ACM
15 years 3 months ago
2002
ACM
Workflow management systems (WFMS) that are geared for the orchestration of business processes across multiple organizations are complex distributed systems: they consist of multi...
152
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We discuss a case study for the hospital scenario where workflow model components are distributed across various computers or devices (e.g. mobile phones, PDAs, sensors, ...
252
Voted
AAAIDEA
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes an infrastructure for the deployment and use of Web Services that are resilient to the failure of the nodes that host those services. The infrastructure prese...