Sciweavers

4356 search results - page 217 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
ACOM
2006
Springer
16 years 18 days ago
On the Semantics of Conditional Commitment
Abstract. In this paper, we identify some problems with current formalizations of conditional commitments, i.e. commitments to achieve a goal if some condition becomes true. We pre...
Shakil M. Khan, Yves Lespérance
175
Voted
IEEECIT
2005
IEEE
16 years 6 days ago
Web Service Interactions: Analysis and Design
Abstract The conversation model captures interactions among the components of a composite web service. A conversation is the global sequence of messages exchanged among the compone...
Jianwen Su
MATA
2005
Springer
154views Communications» more  MATA 2005»
16 years 3 days ago
A Co-designed Hardware/Software Architecture for Augmented Materials
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...
Simon Dobson, Kieran Delaney, Kafil Mahmood Razeeb...
DBISP2P
2004
Springer
95views Database» more  DBISP2P 2004»
16 years 10 hour ago
Data Management in Mobile Peer-to-Peer Networks
Abstract. In this paper we examine the database management of spatiotemporal resource information in mobile peer-to-peer networks, where moving objects communicate with each other ...
Bo Xu, Ouri Wolfson
CSR
2010
Springer
15 years 11 months ago
Realizability of Dynamic MSC Languages
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...
Benedikt Bollig, Loïc Hélouët