339 search results - page 19 / 68 » Abstracting Interactions Based on Message Sets |
VMCAI
2005
Springer
14 years 6 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
CSCW
2006
ACM
14 years 22 days ago
2006
ACM
Several CSCW studies have shown that coordination of work in hospitals is particular challenging, and that clinicians put much effort into maintaining mutual awareness on the flo...
ECCB
2008
IEEE
13 years 6 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
CIDM
2011
IEEE
12 years 10 months ago
2011
IEEE
Abstract—In this work, we present an interactive visual clustering approach for the exploration and analysis of vast volumes of data. The proposed approach is based on a bio-insp...
INFOCOM
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—Content-based routing (CBR) is becoming increasingly popular as a building block for distributed applications. CBR differs from classical routing paradigms as messages a...