Sciweavers

1413 search results - page 82 / 283
» Bisimilarity of Open Terms
Sort
View
ACISP
1998
Springer
15 years 10 months ago
LITESET: A Light-Weight Secure Electronic Transaction Protocol
Abstract. The past few years have seen the emergence of a large number of proposals for electronic payments over open networks. Among these proposals is the Secure Electronic Trans...
Goichiro Hanaoka, Yuliang Zheng, Hideki Imai
AINA
2004
IEEE
15 years 10 months ago
Analysis of Grid Service Composition with BPEL4WS
The Open Grid Services Infrastructure (OGSI) defines a distributed system framework by integrating Grid and Web services technologies to facilitate resource sharing. In OGSI, Web ...
Kuo-Ming Chao, Muhammad Younas, Nathan Griffiths, ...
ATAL
2006
Springer
15 years 10 months ago
ANEMONE: an effective minimal ontology negotiation environment
Communication in open heterogeneous multi agent systems is hampered by lack of shared ontologies. To overcome these problems, we propose a layered communication protocol which inc...
Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dig...
ACCV
1995
Springer
15 years 9 months ago
Developing an Active Observer
We present a binocular active vision system that can attend to and xate a moving target. Our system has an open and expandable design and it forms the rst steps of a long term e o...
Jan-Olof Eklundh, Tomas Uhlin, Peter Nordlund, Ats...
USM
2000
15 years 9 months ago
Integrating Trading and Load Balancing for Efficient Management of Services in Distributed Systems
Due to the requirements of open service markets, the structure of networks and application systems is changing. To handle the evolving complex distributed systems, new concepts for...
Dirk Thißen, Helmut Neukirchen