4305 search results - page 121 / 861 » Analysing Protocol Implementations |
FM
2005
Springer
14 years 2 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...
SP
1996
IEEE
14 years 1 months ago
1996
IEEE
Security properties such as con dentiality and authenticity may be considered in terms of the ow of messages within a network. To the extent that this characterisation is justi ed...
DSL
1997
13 years 10 months ago
1997
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...
ACSC
2009
IEEE
14 years 1 months ago
2009
IEEE
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
Previously, we defined robust and easy-to-calculate error metrics for text entry research. Herein, we announce a software implementation of this error analysis technique. We build...