423 search results - page 23 / 85 » Specifying Strategies for Exercises |
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
CAV
2006
Springer
15 years 1 months ago
2006
Springer
We present a tool, called CAsCaDE, to check assertions in C programs as part of a multi-stage verification strategy. CAsCaDE takes as input a C program and a control file (the outp...
NIPS
2004
14 years 11 months ago
2004
We propose a convex optimization based strategy to deal with uncertainty in the observations of a classification problem. We assume that instead of a sample (xi, yi) a distributio...
ESSOS
2009
Springer
15 years 4 months ago
2009
Springer
Discovery of security vulnerabilities is on the rise. As a result, software development teams must place a higher priority on preventing the injection of vulnerabilities in softwar...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
Performance and workload modeling has numerous uses at every stage of the high-end computing lifecycle: design, integration, procurement, installation and tuning. Despite the trem...