746 search results - page 90 / 150 » Formal Analysis of UML-Based Designs |
130
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
111
click to vote
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
The transmission of voice communications as datagram packets over IP networks, commonly known as Voice-overIP (VoIP) telephony, is rapidly gaining wide acceptance. With private ph...
124
click to vote
RTSS
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
104
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
We present a principled methodology for filtering news stories by formal measures of information novelty, and show how the techniques can be used to custom-tailor newsfeeds based ...
121
click to vote
ASIACRYPT
2008
Springer
15 years 3 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...