Sciweavers

2748 search results - page 102 / 550
» Generating Object-Z Specifications from Use Cases
Sort
View
USS
2008
14 years 8 days ago
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabilities that have been responsible for a large number of security breaches in...
Michael C. Martin, Monica S. Lam
CHI
2002
ACM
14 years 10 months ago
Informing automatic generation of remote control interfaces with human designs
Embedded processors are making it possible for common appliances, such as cable boxes, microwaves and fax machines, to provide even more functionality. Unfortunately, as these app...
Jeffrey Nichols
TSMC
1998
99views more  TSMC 1998»
13 years 9 months ago
Learning visually guided grasping: a test case in sensorimotor learning
Abstract—We present a general scheme for learning sensorimotor tasks which allows rapid on-line learning and generalization of the learned knowledge to unfamiliar objects. The sc...
Ishay Kamon, Tamar Flash, Shimon Edelman
FLAIRS
2000
13 years 11 months ago
Use of Data Mining on Satellite Data Bases for Knowledge Extraction
Extracting knowledge from existing sources of information is a key development area to unlock previously unknown relationships between specific data points. Data mining is a techn...
Lance Self
JOT
2010
144views more  JOT 2010»
13 years 8 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...