5159 search results - page 439 / 1032 » Structural Testing of Executables |
174
click to vote
ICTAI
2005
IEEE
16 years 1 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
191
click to vote
ECOOP
2005
Springer
16 years 1 months ago
2005
Springer
A common method to localize defects is to compare the coverage of passing and failing program runs: A method executed only in failing runs, for instance, is likely to point to the ...
222
click to vote
EGC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Grid technology attempts to support flexible, secure, coordinated information sharing among dynamic collections of individuals, institutions, and resources. The use of G...
170
click to vote
POLICY
2005
Springer
16 years 1 months ago
2005
Springer
We add a simple policy-based control component to mobile hosts that enables them to control the continuous reception of live multimedia content (e.g. a TV broadcast) while they sw...
190
click to vote
AIMSA
2004
Springer
16 years 1 months ago
2004
Springer
The ability to automatically compose web services, and to monitor their execution, is an essential step to substantially decrease time and costs in the development, integration, a...