Sciweavers

34 search results - page 1 / 7
» FXplorer: Exploration of Computed Software Behavior - A New ...
Sort
View
HICSS
2009
IEEE
118views Biometrics» more  HICSS 2009»
13 years 11 months ago
FXplorer: Exploration of Computed Software Behavior - A New Approach to Understanding and Verification
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
Luanne Burns, Timothy Daly
NDSS
2008
IEEE
13 years 11 months ago
HookFinder: Identifying and Understanding Malware Hooking Behaviors
Installing various hooks into the victim system is an important attacking strategy employed by malware, including spyware, rootkits, stealth backdoors, and others. In order to def...
Heng Yin, Zhenkai Liang, Dawn Song
ACMSE
2000
ACM
13 years 9 months ago
Exploring an information-based approach to computation and computational complexity
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
D. E. Stevenson
HAPTICS
2007
IEEE
13 years 11 months ago
A Behavioral Adaptation Approach to Identifying Visual Dependence of Haptic Perception
Both haptic and visual senses play a role in how we explore our environment. Previous studies have shown that vision plays a very strong role in perception of object stiffness, ye...
James S. Sulzer, Arsalan Salamat, Vikram S. Chib, ...
BMCBI
2008
121views more  BMCBI 2008»
13 years 5 months ago
Modularization of biochemical networks based on classification of Petri net t-invariants
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
Eva Grafahrend-Belau, Falk Schreiber, Monika Heine...