7340 search results - page 316 / 1468 » The Behavior of Tutoring Systems |
171
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our su...
164
Voted
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
177
click to vote
BPSC
2007
15 years 8 months ago
2007
More than ever, computing devices are becoming more powerful and networked, organizational boundaries are dissolving, and underlying information systems become more complex, thus r...
169
click to vote
FORTE
2004
15 years 8 months ago
2004
This paper proposes an algorithm for the construction of an MSC graph from a given set of actual behaviors of an existing concurrent system which has repetitive subfunctions. Such ...
164
click to vote
FLAIRS
2006
15 years 8 months ago
2006
In this paper, we report on experiments with a software multi-agent electronic market where intelligent behaviors are due to both agents internal capabilities and advanced mechani...