Sciweavers

1863 search results - page 97 / 373
» Level-Based Link Analysis
Sort
View
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 3 months ago
Low-Level Library Analysis and Summarization
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
Denis Gopan, Thomas W. Reps
ENTER
2007
Springer
14 years 3 months ago
The Websites of a Tourism Destination: A Network Analysis
How to reveal throughout a quantitative survey of the websites the cooperation development of a tourism destination? The analysis of the links among the tourist websites of a dest...
Rodolfo Baggio, Magda Antonioli Corigliano, Valeri...
VMCAI
2007
Springer
14 years 3 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
ACSC
2006
IEEE
14 years 3 months ago
Trust network analysis with subjective logic
Trust networks consist of transitive trust relationships between people, organisations and software agents connected through a medium for communication and interaction. By formali...
Audun Jøsang, Ross Hayward, Simon Pope
ACSAC
2005
IEEE
14 years 2 months ago
Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
Jan Jürjens