Sciweavers

2165 search results - page 292 / 433
» cases 2005
Sort
View
SCCC
2005
IEEE
15 years 11 months ago
Optimizing repair programs for consistent query answering
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
Mónica Caniupán Marileo, Leopoldo E....
SEFM
2005
IEEE
15 years 11 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
SEFM
2005
IEEE
15 years 11 months ago
Description Logics for Shape Analysis
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
Lilia Georgieva, Patrick Maier
138
Voted
SIBGRAPI
2005
IEEE
15 years 11 months ago
Imesh: An Image Based Quality Mesh Generation Technique
Generating triangular meshes from images is a task important to many applications. Usually, techniques that can do that either take as starting point a segmented image or generate...
Alex Jesus Cuadros-Vargas, Luis Gustavo Nonato, Ro...
SP
2005
IEEE
100views Security Privacy» more  SP 2005»
15 years 11 months ago
Polygraph: Automatically Generating Signatures for Polymorphic Worms
It is widely believed that content-signature-based intrusion detection systems (IDSes) are easily evaded by polymorphic worms, which vary their payload on every infection attempt....
James Newsome, Brad Karp, Dawn Xiaodong Song