401 search results - page 45 / 81 » Formal Analysis of Meeting Protocols |
GCC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. This paper describes an integrated architecture for online collaborative multimedia (audio and text) meetings which supports the recording of participants' audio exc...
SIGCOMM
2012
ACM
12 years 1 months ago
2012
ACM
Today’s inter-domain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfiguration by individual autonomous system...
FASE
2004
Springer
14 years 2 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
JUCS
2008
13 years 10 months ago
2008
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...
FM
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...