Sciweavers

321 search results - page 16 / 65
» Relating complexity and precision in control flow analysis
Sort
View
AMAST
2008
Springer
13 years 9 months ago
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
A simple type confusion attack occurs in a security protocol, when a principal interprets data of one type as data of another. These attacks can be successfully prevented by \taggi...
Han Gao, Chiara Bodei, Pierpaolo Degano
AAAI
1996
13 years 8 months ago
Motion and Color Analysis for Animat Perception
We propose novel gaze control algorithms for active perception in mobile autonomous agents with directable, foveated vision sensors. Our agents are realistic artificial animals, o...
Tamer F. Rabie, Demetri Terzopoulos
OSDI
2004
ACM
14 years 7 months ago
Using Magpie for Request Extraction and Workload Modelling
Tools to understand complex system behaviour are essential for many performance analysis and debugging tasks, yet there are many open research problems in their development. Magpi...
Paul Barham, Austin Donnelly, Rebecca Isaacs, Rich...
SIGIR
2008
ACM
13 years 7 months ago
Separate and inequal: preserving heterogeneity in topical authority flows
Web pages, like people, are often known by others in a variety of contexts. When those contexts are sufficiently distinct, a page's importance may be better represented by mu...
Lan Nie, Brian D. Davison
WCE
2007
13 years 8 months ago
Performance Analysis of Job-Shop Production Systems under Different Order Release Control Parameters
—Controlling the flow of materials inside job-shops involves several decisions such as the acceptance or rejection of an incoming order, the order’s due date definition, the re...
Paulo S. A. Sousa, Maria R. A. Moreira