Sciweavers

4305 search results - page 104 / 861
» Analysing Protocol Implementations
Sort
View
CSE
2009
IEEE
14 years 3 months ago
Implementing Social Norms Using Policies
—Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
Robert Kremer
TJS
2002
118views more  TJS 2002»
13 years 8 months ago
The MAGNeT Toolkit: Design, Implementation and Evaluation
Abstract-The current trend in constructing high-performance computing systems is to connect a large number of machines via a fast interconnect or a large-scale network such as the ...
Wu-chun Feng, Mark K. Gardner, Jeffrey R. Hay
SEFM
2007
IEEE
14 years 3 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
EGOV
2004
Springer
14 years 2 months ago
Impact of e-Government Interoperability in Local Governments
Interoperability is a key concept for understanding the changes in progress in e-government. These changes are made gradually and with a phased implementation. The paper proposes c...
Norbert Benamou, Alain Busson, Alain Keravel
CSJM
2007
60views more  CSJM 2007»
13 years 9 months ago
Distance voting (e-voting): the ways of its applicability in Moldova
The purpose of this paper is to analyse the e-voting systems implementation experience in Europe (and the world) and the necessity and possibility to implement the effective Out ...
Ion Cosuleanu, Constantin Gaindric