8928 search results - page 295 / 1786 » Modeling Current Events |
114
click to vote
SAC
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents a model for describing the synchronization between several media delivered over a network in a Web-based environment. Synchronization concerns the download and...
133
click to vote
FORTE
1997
15 years 5 months ago
1997
In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating processes is depicted. An MSC defines a partial order on the communication events between the...
125
click to vote
WSC
1997
15 years 5 months ago
1997
SimTutor is a multimedia intelligent tutoring system (ITS) for simulation modeling. Multimedia systems are now de facto standard on personal computers and increasing number of int...
142
click to vote
DAWAK
2010
Springer
15 years 5 months ago
2010
Springer
Facts are multidimensional concepts of primary interests for knowledge workers because they are related to events occurring dynamically in an organization. Normally, these concepts...
127
click to vote
ENTCS
2002
15 years 4 months ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...