Sciweavers

68 search results - page 6 / 14
» Engineering Open Multi-Agent Systems as Electronic Instituti...
Sort
View
ACMICEC
2007
ACM
127views ECommerce» more  ACMICEC 2007»
13 years 11 months ago
Symbolic model checking of institutions
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
Francesco Viganò, Marco Colombetti
HIKM
2006
ACM
14 years 1 months ago
A flexible approach for electronic medical records exchange
Many methodologies have been proposed in the last decade for integration and exchange of medical data. However, little progress has occurred due to the following reasons. First, p...
Vagelis Hristidis, Peter J. Clarke, Nagarajan Prab...
ICALT
2005
IEEE
14 years 29 days ago
Trial of Team Activities in an Engineering Design Course with a Web Communication Tool
The purpose of this study is to consider how to use an electronic learning (e-learning) system in engineering design. The first e-learning trial in an engineering design course wa...
Kazuya Takemata, Nobuyuki Naoe, Masakatsu Matsuish...
ATAL
2006
Springer
13 years 11 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...
SP
1996
IEEE
136views Security Privacy» more  SP 1996»
13 years 11 months ago
On two Proposals for On-line Bankcard Payments using Open Networks: Problems and Solutions
Recently, two major bankcard payment instrument operators VISA and MasterCard published speci cations for securing bankcard payment transactions on open networks for open scrutiny...
Wenbo Mao