2735 search results - page 209 / 547 » Comparing notions of randomness |
ICALP
2005
Springer
14 years 4 months ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
SEMWEB
2005
Springer
14 years 4 months ago
2005
Springer
The paper reports on the formal framework to design strategies for multi-issue non-symmetric meaning negotiations among software agents in a distributed information retrieval syste...
ICCS
2004
Springer
14 years 4 months ago
2004
Springer
The paper introduces a notion of collaborative teleradiology as a novel organisation of information exchange during a remote radiological consultation. A general interaction patter...
ISIPTA
2003
IEEE
14 years 4 months ago
2003
IEEE
In this paper we adopt the geometric approach to the theory of evidence to study the geometric counterparts of the plausibility functions, or upper probabilities. The computation ...
QSIC
2003
IEEE
14 years 4 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...