503 search results - page 19 / 101 » Automatic Verification of Strongly Dynamic Software Systems |
IPPS
2002
IEEE
15 years 2 months ago
2002
IEEE
HARNESS is an experimental metacomputing system that supports dynamic software reconfiguration, both of the resources that comprise the virtual machine and the services provided t...
105
click to vote
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Software comprehension (understanding software structure and behavior) is essential for developing, maintaining, and improving software. This is particularly true of agent-based s...
SAC
2010
ACM
14 years 10 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...