2261 search results - page 82 / 453 » Relationships Between Models of Concurrency |
127
click to vote
CODES
2010
IEEE
15 years 2 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...
118
Voted
AIED
2009
Springer
15 years 10 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...
129
click to vote
ICCAD
1996
IEEE
15 years 8 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...
132
click to vote
ENTCS
2007
15 years 4 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 ...
149
click to vote
FGCN
2008
IEEE
15 years 10 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...