7340 search results - page 397 / 1468 » The Behavior of Tutoring Systems |
162
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
In this paper we describe a channel-based exogenous coordination language, called Reo, and discuss its application to multi-agent systems. Reo supports a specific notion of compo...
197
Voted
ARCS
2004
Springer
16 years 6 days ago
2004
Springer
: Man-machine systems have several desirable properties, as to user friendliness, reliability, safety, security or other global system attributes. The potential for the lack, or br...
213
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
177
click to vote
HYBRID
2007
Springer
16 years 28 days ago
2007
Springer
In this paper we show how file sharing peer to peer systems can be modeled by hybrid systems with a continuous part corresponding to a fluid limit of files and a discrete part c...
152
click to vote
DSN
2005
IEEE
16 years 12 days ago
2005
IEEE
We propose a novel method to measure the dependability of journaling file systems. In our approach, we build models of how journaling file systems must behave under different jo...