750 search results - page 44 / 150 » Program Chair's Message |
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This essay just sketches my early investigations on the concept of objects which models concurrent activities of mobile entities that interact with each other in space. 1...
ICALP
2000
Springer
13 years 11 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
IFIP
2009
Springer
13 years 5 months ago
2009
Springer
A multi-party contract signing (MPCS) protocol is used for a group of signers to sign a digital contract over a network. We analyse the protocols of Mukhamedov and Ryan (MR), and o...
COMPSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...