866 search results - page 9 / 174 » A Formal Investigation of |
NCA
2008
IEEE
14 years 1 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...
ARGMAS
2004
Springer
14 years 25 days ago
2004
Springer
This paper investigates the properties of argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments, and examines how ...
AIME
2003
Springer
14 years 20 days ago
2003
Springer
Abstract. The role of medical guidelines is becoming more and more important in the medical field. Within the Protocure project it has been shown that the quality of medical guide...
APLAS
2008
ACM
13 years 9 months ago
2008
ACM
Researchers repeatedly observed that the module system of ML and the type class mechanism of Haskell are related. So far, this relationship has received little formal investigation...
COSIT
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. This paper addresses the problem of merging qualitative constraint networks (QCNs) defined on different qualitative formalisms. Our model is restricted to formalisms wher...