20 search results - page 1 / 4 » ase 2004 |
CCR
2004
13 years 4 months ago
2004
Today, most multi-connected autonomous systems (AS) need to control the flow of their interdomain traffic for both performance and economical reasons. This is usually done by manu...
ASE
2004
13 years 4 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
ATAL
2004
Springer
13 years 10 months ago
2004
Springer
The Autonomous Sciencecraft Experiment (ASE), currently flying onboard the Earth Observing-1 (EO1) spacecraft, integrates several autonomy software technologies enabling autonomou...
ASE
2004
13 years 4 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
ASE
2004
13 years 4 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...