107 search results - page 4 / 22 » Program comprehension as fact finding |
FLAIRS
2007
13 years 10 months ago
2007
Web search engines like Google have made us all smarter by providing ready access to the world's knowledge whenever we need to look up a fact, learn about a topic or evaluate...
CEC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
ER
2007
Springer
14 years 1 months ago
2007
Springer
This paper describes a strategy for modeling and engineering complex e-business systems with built-in quality of adaptiveness. The paper explains the philosophical and scientific ...
OSDI
2006
ACM
14 years 8 months ago
2006
ACM
Storage systems such as file systems, databases, and RAID systems have a simple, basic contract: you give them data, they do not lose or corrupt it. Often they store the only copy...
CCS
2011
ACM
12 years 7 months ago
2011
ACM
Verifying that access-control systems maintain desired security properties is recognized as an important problem in security. Enterprise access-control systems have grown to prote...