Sciweavers

412 search results - page 47 / 83
» RATSY - A New Requirements Analysis Tool with Synthesis
Sort
View
EMSOFT
2004
Springer
14 years 4 months ago
Reactive process networks
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
Marc Geilen, Twan Basten
ISSRE
2006
IEEE
14 years 4 months ago
Memoized Forward Computation of Dynamic Slices
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
Wes Masri, Nagi Nahas, Andy Podgurski
ACL2
2006
ACM
14 years 4 months ago
Phylogenetic trees in ACL2
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
Warren A. Hunt Jr., Serita M. Nelesen
PG
2000
IEEE
14 years 3 months ago
FEM-Based Dynamic Subdivision Splines
Recent years have witnessed dramatic growth in the use of subdivision schemes for graphical modeling and animation, especially for the representation of smooth, oftentimes complex...
Hong Qin
ESORICS
2010
Springer
13 years 12 months ago
Modeling and Analyzing Security in the Presence of Compromising Adversaries
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
David A. Basin, Cas J. F. Cremers