1425 search results - page 271 / 285 » A Study of Design Requirements for Mobile Learning Environme... |
180
click to vote
RV
2009
Springer
15 years 8 months ago
2009
Springer
Monitoring of software’s execution is crucial in numerous software development tasks. Current monitoring efforts generally require extensive instrumentation of the software or d...
123
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
126
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
Mischief is a system to support traditional classroom practices between a remote instructor and a group of collocated students. Meant for developing regions, each student in the c...
172
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
130
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
The increasing number of software-based attacks has attracted substantial efforts to prevent applications from malicious interference. For example, Trusted Computing (TC) technolo...