5634 search results - page 280 / 1127 » About Abstract Classes |
184
click to vote
MFCS
1994
Springer
15 years 9 months ago
1994
Springer
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
138
Voted
AUSAI
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
131
Voted
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
and scenario evolution, in which concepts in the abstraction domain and scenarios in the detail domain iteratively evolve. This framework provides another facet of scenario-based r...
120
click to vote
AISC
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
126
Voted
ARGMAS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The purpose of this paper is to investigate how argumentation processes among a group of agents may affect the outcome of group judgments. In particular we will focus on ...