Sciweavers

2697 search results - page 180 / 540
» Developing Gestural Input
Sort
View
KBSE
2008
IEEE
16 years 20 days ago
Query-Aware Test Generation Using a Relational Constraint Solver
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
Shadi Abdul Khalek, Bassem Elkarablieh, Yai O. Lal...
LSMS
2007
Springer
16 years 12 days ago
A Simulation Study on the Encoding Mechanism of Retinal Ganglion Cell
Understanding how the retina encodes visual information is a key issue for the development of a retinal prosthesis. To study this issue, the neural retina is modeled as a retina mo...
Chao-Feng Cai, Pei-Ji Liang, Pu-Ming Zhang
CSFW
2006
IEEE
16 years 10 days ago
Information-Flow Security for Interactive Programs
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
Kevin R. O'Neill, Michael R. Clarkson, Stephen Cho...
153
Voted
ACSAC
2005
IEEE
15 years 12 months ago
Design and Implementation of an Extrusion-based Break-In Detector for Personal Computers
An increasing variety of malware, such as worms, spyware and adware, threatens both personal and business computing. Remotely controlled bot networks of compromised systems are gr...
Weidong Cui, Randy H. Katz, Wai-tian Tan
VRST
2005
ACM
15 years 11 months ago
A practical system for laser pointer interaction on large displays
Much work has been done on the development of laser pointers as interaction devices. Typically a camera captures images of a display surface and extracts a laser pointer dot locat...
Benjamin A. Ahlborn, David Thompson, Oliver Kreylo...