Sciweavers

1485 search results - page 166 / 297
» Whole Program Paths
Sort
View
SPW
2005
Springer
14 years 2 months ago
Countering Automated Exploits with System Security CAPTCHAS
Abstract. Many users routinely log in to their system with system administrator privileges. This is especially true of home users. The advantage of this setup is that these users c...
Dinan Gunawardena, Jacob Scott, Alf Zugenmaier, Au...
VISUAL
1999
Springer
14 years 1 months ago
Generic Viewer Interaction Semantics for Dynamic Virtual Video Synthesis
The FRAMES project is developing a system for video database search, content-based retrieval, and virtual video program synthesis. For dynamic synthesis applications, a video progr...
Craig A. Lindley, Anne-Marie Vercoustre
IFIP
1992
Springer
14 years 1 months ago
Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
Jochen Beister, Ralf Wollowski
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
13 years 11 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
ECLIPSE
2005
ACM
13 years 11 months ago
Navigating error recovery code in Java applications
Java provides a program-level exception handling mechanism in response to error conditions (that are translated into exceptions by Java VM). However, exception handling code is of...
Chen Fu, Barbara G. Ryder