3082 search results - page 237 / 617 » Deviation Analysis: A New Use of Model Checking |
184
click to vote
MOBIHOC
2006
ACM
16 years 6 months ago
2006
ACM
Traditionally, ad hoc networks have been viewed as a connected graph over which end-to-end routing paths had to be established. Mobility was considered a necessary evil that inval...
258
click to vote
CTRSA
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a com...
199
click to vote
TSE
1998
15 years 6 months ago
1998
—The main goal of this work is to propose a method to evaluate user interfaces using task models and logs generated from a user test of an application. The method can be incorpor...
169
click to vote
IADIS
2003
15 years 8 months ago
2003
Distributed data mining (DDM) is the semi-automatic pattern extraction of distributed data sources. The next generation of the data mining studies will be distributed data mining ...
208
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
This paper describes a prototype system for surgical planning and prediction of human facial shape after craniofacial and maxillofacial surgery for patients with facial deformitie...