7340 search results - page 318 / 1468 » The Behavior of Tutoring Systems |
210
click to vote
CL
2002
Springer
15 years 6 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
200
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The ambition of most molecular biologists is the understanding of the intricate network of molecular interactions that control biological systems. As scientists uncove...
170
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
Current approaches to the design of interactive systems emphasize openness, dynamic behavior, and evolution of the system. There is also a growing interest in accounting for human...
200
click to vote
TSMC
1998
15 years 6 months ago
1998
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
148
click to vote
RTSS
2000
IEEE
15 years 11 months ago
2000
IEEE
A framework for scheduling a number of di erent real-time applications on a single shared preemptable processor is proposed. This framework enforces complete isolation among the d...