10088 search results - page 2011 / 2018 » Queries and Computation on the Web |
127
click to vote
JACM
2010
14 years 11 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
107
click to vote
JFP
2010
14 years 11 months ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
112
click to vote
ACSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
Instruction-set randomization (ISR) is a technique based on randomizing the "language" understood by a system to protect it from code-injection attacks. Such attacks wer...
124
click to vote
ICTAI
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
111
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...