2850 search results - page 504 / 570 » On Timed Models and Full Abstraction |
SAFECOMP
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...
CAV
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
DAWAK
2000
Springer
14 years 3 months ago
2000
Springer
Abstract The application of data mining algorithms needs a goal-oriented preprocessing of the data. In practical applications the preprocessing task is very time consuming and has ...
APN
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. This paper presents parallel approaches to the complete transient numerical analysis of stochastic reward nets (SRNs) for both shared and distributed-memory machines. Par...
CAISE
1997
Springer
14 years 3 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...