401 search results - page 12 / 81 » Formal Analysis of Meeting Protocols |
106
click to vote
COMMA
2010
14 years 6 months ago
2010
In order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation, a common ontology for computational ar...
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
This paper examines the relationship between gestures' function and form in design collaboration. It adopts a cognitive design research viewpoint. The analysis is restricted t...
121
click to vote
SECON
2007
IEEE
15 years 6 months ago
2007
IEEE
— The capacity of wireless multi-hop networks has been studied extensively in recent years. Most existing work tackles the problem from an asymptotic perspective and assumes a si...
RTSS
1999
IEEE
15 years 4 months ago
1999
IEEE
The e ective design of composite dependable and real-time protocols entails demonstrating their proof of correctness and, in practice, the e cient delivery of services. We focus o...