Technology Enhanced Learning
IFIP TC3 Technology Enhanced Learning Workshop (TeL’04), World Computer Congress, August 22–27, 2004, Toulouse, France
Chapter and Conference Paper
Interactive Multimedia Documents (IMDs) are expected to satisfy temporal consistency properties in order to ensure that their synchronization constraints (temporal, logical and causal) can be respected during ...
Chapter and Conference Paper
RT-LOTOS is a timed process algebra which enables compact and abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equiv...
Chapter and Conference Paper
The paper describes a transformational approach for the specification and formal verification of concurrent and real-time systems.At upper level, one system is specified using the timed process algebra RT-LOTO...
Book and Conference Proceedings
IFIP TC3 Technology Enhanced Learning Workshop (TeL’04), World Computer Congress, August 22–27, 2004, Toulouse, France
Chapter and Conference Paper
As collaboration activities usually involve several people with different group tasks and needs, they are rarely supported by a single CSCW technology. Then different types of collaborative applications are us...
Chapter and Conference Paper
In a previous paper, we defined TURTLE, a Timed UML and RT-LOTOS Environment which includes a real-time UML profile with a formal semantics given in terms of translation to RT-LOTOS, and a model validation app...
Chapter and Conference Paper
In order to respond to the increasing demand for collaboration technologies, several Collaborative Virtual Environments have been proposed. However, most of them work independently of other collaboration tools...
Chapter and Conference Paper
The expressiveness power and flexibility of high-level authoring models (such as W3C SMIL 2.0 language) used for editing complex interactive multimedia documents can lead authors to specify inter-media synchro...
Chapter and Conference Paper
This paper introduces and formalizes a new variant of Timed Automata, called Time Labeled Scheduling Automata. A Time Labeled Scheduling Automaton is a single clock implementation model expressing globally the...
Article
This paper presents a comparative study of different techniques aiming at transmitting MPEG-2 streams over ATM networks, with emphasis on the presentation of practical results achieved on an experimental platf...
Article
The paper is devoted to the presentation of a new formal description technique rt-Lotos (real-time Lotos) which is a temporal extension of the standard formal description technique Lotos. After a brief introdu...
Chapter
The case study, presented in this chapter, aims at illustrating how to put into practice the Lotosphere methodology. The case study refers to the design of a simple, however realistic, connection-oriented data...
Chapter
In [2], we proposed a verification by abstraction approach for protocol specifications written in Estelle*, an enhanced Estelle with a rendezvous mechanism. The protocol’s reachability graph is labeled with occur...
Chapter
The paper deals with the study of a temporal extension of Basic LOTOS, and addresses in particular issues related to the expression of time nondeterminism and to the specification of temporal exception handlin...
Chapter and Conference Paper
This paper deals with the action refinement problem in process algebra, which consists in replacing actions at a given level of abstraction by processes at a lower level. We show how the problem may be dealt w...
Chapter and Conference Paper
Multimedia systems were so far primarily addressed with communication and performance in mind. It is now acknowledged they essentially capture synchronisation problems, at communication and application levels,...