Sciweavers

103 search results - page 10 / 21
» A case for user-level interrupts
Sort
View
CRIWG
2003
14 years 10 months ago
Supporting Collaborative Drawing with the Mask Versioning Mechanism
This work presents a synchronous collaborative graphical editor that implements a proposal of an awareness mechanism of a collaborative artifact evolution. The graphical editor all...
Alexandre Pereira Meire, Marcos R. S. Borges, Rena...
HICSS
2007
IEEE
105views Biometrics» more  HICSS 2007»
15 years 3 months ago
Juggling Work Among Multiple Projects and Partner
Prior research suggests people have trouble juggling effort across multiple projects with multiple partners. We investigated this problem, with an experiment where groups of four ...
Peter Scupelli, Susan R. Fussell, Sara B. Kiesler,...
UM
2007
Springer
15 years 3 months ago
Principles of Lifelong Learning for Predictive User Modeling
Predictive user models often require a phase of effortful supervised training where cases are tagged with labels that represent the status of unobservable variables. We formulate a...
Ashish Kapoor, Eric Horvitz
VALUETOOLS
2006
ACM
142views Hardware» more  VALUETOOLS 2006»
15 years 3 months ago
M/M/C queues with Markov modulated service processes
Motivated by the need to study traffic flow affected by incidents we consider M/M/C queueing system where servers operate in a Markovian environment. When a traffic incident hap...
Melike Baykal-Gursoy, Zhe Duan
RTS
2008
131views more  RTS 2008»
14 years 9 months ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek