1426 search results - page 166 / 286 » Specification of nonmonotonic reasoning |
112
click to vote
WETICE
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
RE
1999
Springer
15 years 2 months ago
1999
Springer
Developing requirements for software components, and ensuring these requirements are met by component designs, is very challenging, as very often application domain and stakeholde...
CRYPTO
1998
Springer
15 years 2 months ago
1998
Springer
We introduce delegation schemes wherein a user may delegate certain rights to himself, but may not safely delegate these rights to others. In our motivating application, a user ha...
SSDBM
1997
IEEE
15 years 2 months ago
1997
IEEE
Summarizability of OLAP and Statistical Databases is an a extremely important property because violating this condition can lead to erroneous conclusions and decisions. In this pa...
ICCAD
1996
IEEE
15 years 2 months ago
1996
IEEE
In a constraint-drivenlayout synthesisenvironment,parasitic constraints are generated and implemented in each phase of the design process to meet a given set of performance specif...