15614 search results - page 116 / 3123 » The State of State |
AIED
2009
Springer
15 years 5 months ago
2009
Springer
We explored the possibility of predicting learners’ affective states (boredom, flow/engagement, confusion, and frustration) by monitoring variations in the cohesiveness of tutori...
99
Voted
ACSD
1998
IEEE
15 years 5 months ago
1998
IEEE
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
82
Voted
INFOCOM
1992
IEEE
15 years 4 months ago
1992
IEEE
The current Internet is based on a stateless (datagram) architecture. However, many recent proposals rely on the maintenance of state information within network routers, leading t...
97
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
89
Voted
NETWORKING
2010
15 years 2 months ago
2010
Abstract--Malicious and misconfigured nodes can inject incorrect state into a distributed system, which can then be propagated system-wide as a result of normal network operation. ...