Sciweavers

4971 search results - page 186 / 995
» Observation systems
Sort
View
ITS
2010
Springer
132views Multimedia» more  ITS 2010»
15 years 10 months ago
Comparing Disengaged Behavior within a Cognitive Tutor in the USA and Philippines
We study how student behaviors associated with engagement differ across different school settings. We present a study to investigate the variation in gaming the system and off-task...
Ma. Mercedes T. Rodrigo, Ryan Shaun Joazeiro de Ba...
SAFECOMP
2007
Springer
16 years 11 days ago
Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen
CDC
2009
IEEE
122views Control Systems» more  CDC 2009»
15 years 11 months ago
Estimation of arrival-departure capacity tradeoffs in multi-airport systems
Abstract— The accurate estimation of airport capacity is critical for the efficient planning of landing and takeoff operations, and the mitigation of congestion-induced delays. ...
Varun Ramanujam, Hamsa Balakrishnan
DEDS
2007
104views more  DEDS 2007»
15 years 6 months ago
Trellis Processes : A Compact Representation for Runs of Concurrent Systems
The unfolding of a concurrent system represents in a compact manner all possible runs of this system. Unfoldings are used in many applications, ranging from model-checking (offlin...
Eric Fabre
CISIS
2010
IEEE
15 years 11 months ago
Bringing Introspection Into the BlobSeer Data-Management System Using the MonALISA Distributed Monitoring Framework
Abstract—Introspection is the prerequisite of an autonomic behavior, the first step towards a performance improvement and a resource-usage optimization for largescale distribute...
Alexandra Carpen-Amarie, Jing Cai, Alexandru Costa...