391 search results - page 9 / 79 » Code Improvements for Model Elimination Based Reasoning Syst... |
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
IRI
2005
IEEE
14 years 1 months ago
2005
IEEE
Many legacy systems were developed in COBOL, which still play an important role in business. It is an unavoidable issue for organisations to maintain or replace these COBOL system...
PROFES
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Software maintenance is the most expensive activity in software development. Many software companies spent a large amount of cost to maintain the existing software system...
ACSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
Code injection continues to pose a serious threat to computer systems. Among existing solutions, W X is a notable approach to prevent the execution of injected code. In this paper...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
We propose a multi-view image coding system in 3-D space based on an improved volumetric 3-D reconstruction. Unlike existing multi-view image coding schemes, in which the 3D scene ...