Sciweavers

2165 search results - page 292 / 433
» cases 2005
Sort
View
219
Voted
SCCC
2005
IEEE
16 years 17 days 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....
175
Voted
SEFM
2005
IEEE
16 years 17 days 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
186
Voted
SEFM
2005
IEEE
16 years 17 days 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
165
Voted
SIBGRAPI
2005
IEEE
16 years 17 days 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...
206
Voted
SP
2005
IEEE
100views Security Privacy» more  SP 2005»
16 years 17 days 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