3713 search results - page 566 / 743 » Constructing a Calculus of Programs |
ACSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Malicious boot firmware is a largely unrecognized but significant security risk to our global information infrastructure. Since boot firmware executes before the operating syst...
109
click to vote
ICDCSW
2002
IEEE
15 years 8 months ago
2002
IEEE
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
117
click to vote
INFOVIS
2002
IEEE
15 years 8 months ago
2002
IEEE
Relational databases provide significant flexibility to organize, store, and manipulate an infinite variety of complex data collections. This flexibility is enabled by the concept...
131
click to vote
SCAM
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we first present a static analysis based on set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagatio...
143
click to vote
ICSE
2009
IEEE-ACM
15 years 7 months ago
2009
IEEE-ACM
Unit testing is a technique of testing a single unit of a program in isolation. The testability of the unit under test can be reduced when the unit interacts with its environment....