1014 search results - page 179 / 203 » ''What Is a Petri Net |
109
click to vote
AGENTS
2000
Springer
15 years 5 months ago
2000
Springer
This paper presents a knowledge approach to designing team training systems using intelligent agents. We envision a computer-based training system in which teams are trained by pu...
103
click to vote
DSRT
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
104
Voted
IFM
1999
Springer
15 years 5 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
113
Voted
HT
1998
ACM
15 years 5 months ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
101
Voted
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...