5683 search results - page 287 / 1137 » Interactive Schedulability Analysis |
203
click to vote
AIED
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes an approach to support practitioners in the analysis of computer-supported learning processes by utilizing logfiles of learners’ actions captured by the sys...
169
click to vote
AUIC
2006
IEEE
16 years 1 months ago
2006
IEEE
A value can be understood as a belief that one mode of conduct is preferable to others. The user-interface of computer games mediates all player conduct in the game and is therefo...
208
click to vote
SKG
2006
IEEE
16 years 1 months ago
2006
IEEE
A new semantic pattern is proposed in this paper, which can be used by users to post questions and answers in user-interactive question answering (QA) system. The necessary proced...
215
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
200
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
The phrase "virtual community" is often used to describe long term, computer-mediated conversations amongst large groups. This paper suggests that such conversations may...