5863 search results - page 908 / 1173 » On Model-Checking of P Systems |
172
click to vote
LWA
2007
15 years 8 months ago
2007
Serious games that should adapt training to the individual might benefit from methods that are developed for intelligent tutoring systems. One method, model tracing, might be used...
199
click to vote
CMG
2003
15 years 8 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
165
click to vote
ECIR
1998
Springer
15 years 8 months ago
1998
Springer
Modern extensible database systems support multimedia data through ADTs. However, because of the problems with multimedia query formulation, this support is not sufficient. Multim...
178
click to vote
MASCOTS
1994
15 years 8 months ago
1994
Over the last two decades a considerable amount of effort has been put in the development and application of matrix geometric techniques for the analysis of queueing systems of wh...
132
click to vote
USENIX
1994
15 years 8 months ago
1994
Concert/C is a new language for distributed C programming that extends ANSI C to support distribution and process dynamics. Concert/C provides the ability to create and terminate ...