FORTE
2003
13 years 5 months ago
2003
VoiceXML (Voice Extended Markup Language) has become a major force in interactive voice services. However current approaches to creating VoiceXML services are rather low-level. Gra...
FORTE
2003
13 years 5 months ago
2003
Abstract. This paper describes the analysis of Pull-Based Asynchronous Rekeying Framework (ARF), a recently proposed solution to the scalable group key management problem in secure...
FORTE
2003
13 years 5 months ago
2003
Abstract. In this paper, we propose a testing method for QoS functions in distributed multi-media systems, where we test whether playback of media objects is correctly implemented ...
FORTE
2003
13 years 5 months ago
2003
The aim of passive testing is to detect faults in a system while observing the system during normal operation, that is, without forcing the system to specialized inputs explicitly ...
FORTE
2003
13 years 5 months ago
2003
Abstract. The testing of a state-based system may involve the application of a number of adaptive test sequences. Where the implementation under test (IUT) is deterministic, the re...
FORTE
2003
13 years 5 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
FORTE
2003
13 years 5 months ago
2003
FORTE
2003
13 years 5 months ago
2003
In this paper, we consider the problem of deriving a component X of a system knowing the behavior of the whole system C and the other components A. The component X is derived by s...
FORTE
2003
13 years 5 months ago
2003
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...