Sciweavers

3061 search results - page 276 / 613
» interactions 2010
Sort
View
ECCC
2006
88views more  ECCC 2006»
15 years 6 months ago
On Probabilistic versus Deterministic Provers in the Definition of Proofs Of Knowledge
Abstract. This article points out a gap between two natural formulations of the concept of a proof of knowledge, and shows that in all natural cases (e.g., NP-statements) this gap ...
Mihir Bellare, Oded Goldreich
ENTCS
2006
146views more  ENTCS 2006»
15 years 6 months ago
Formalizing WSBPEL Business Processes Using Process Algebra
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
Javier Cámara, Carlos Canal, Javier Cubo, A...
ENTCS
2006
135views more  ENTCS 2006»
15 years 6 months ago
Formal Semantics and Analysis of Component Connectors in Reo
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...
ENTCS
2006
120views more  ENTCS 2006»
15 years 6 months ago
Timers for Distributed Systems
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
Gabriel Ciobanu, Cristian Prisacariu
DSS
2007
98views more  DSS 2007»
15 years 6 months ago
Trust and technologies: Implications for organizational work practices
In this paper, we empirically investigate the concept of trust across organizational work practices by examining three groups: within the team, between teams and when interacting ...
Melanie J. Ashleigh, Joe Nandhakumar