3836 search results - page 645 / 768 » Semantics of Database Transformations |
113
Voted
INFOVIS
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we focus on some of the key design decisions we faced during the process of architecting a visualization system and present some possible choices, with their associ...
147
click to vote
AI
2003
Springer
15 years 7 months ago
2003
Springer
This paper introduces a formal theory for describing actions in terminological knowledge bases, closely related to description logics. It deals in particular with the problem of ad...
129
click to vote
ISCA
2010
IEEE
15 years 7 months ago
2010
IEEE
Over the past decade there has been a surge of academic and industrial interest in optimistic concurrency, i.e. the speculative parallel execution of code regions that have the se...
107
click to vote
DSN
2002
IEEE
15 years 7 months ago
2002
IEEE
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...
100
click to vote
ISSRE
2002
IEEE
15 years 7 months ago
2002
IEEE
Fault insertion based techniqueshave been used for measuring test adequacy and testability of programs. Mutation analysis inserts faults into a program with the goal of creating m...