565 search results - page 113 / 113 » A (De)constructive Approach to Program Checking |
MIR
2005
ACM
13 years 11 months ago
2005
ACM
A typical way to perform video annotation requires to classify video elements (e.g. events and objects) according to some pre-defined ontology of the video content domain. Ontolo...
COMPSAC
2002
IEEE
13 years 10 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
IASTEDSE
2004
13 years 6 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
SP
2010
IEEE
13 years 3 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
EUROSYS
2011
ACM
12 years 8 months ago
2011
ACM
Parallel software is increasingly necessary to take advantage of multi-core architectures, but it is also prone to concurrency bugs which are particularly hard to avoid, find, an...