412 search results - page 47 / 83 » RATSY - A New Requirements Analysis Tool with Synthesis |
EMSOFT
2004
Springer
14 years 4 months ago
2004
Springer
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...
ISSRE
2006
IEEE
14 years 4 months ago
2006
IEEE
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...
ACL2
2006
ACM
14 years 4 months ago
2006
ACM
Biologists studying the evolutionary relationships between organisms use software packages to solve the computational problems they encounter. Several of these problems involve th...
PG
2000
IEEE
14 years 3 months ago
2000
IEEE
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...
ESORICS
2010
Springer
13 years 12 months ago
2010
Springer
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...