2261 search results - page 82 / 453 » Relationships Between Models of Concurrency |
CODES
2010
IEEE
13 years 6 months ago
2010
IEEE
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
AIED
2009
Springer
14 years 2 months ago
2009
Springer
This paper introduces t-OLM, an open learner model to investigate user trust in a range of learner model externalisations. It was found that, while sufficient levels of use were ma...
ICCAD
1996
IEEE
14 years 3 days 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...
ENTCS
2007
13 years 8 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
FGCN
2008
IEEE
14 years 2 months ago
2008
IEEE
To realize context aware applications for smart home environments, it is necessary to recognize function or usage of objects as well as categories of them. On conventional researc...