3312 search results - page 276 / 663 » A Systemic Plan of Technology Integration |
162
click to vote
AH
2004
Springer
16 years 1 days ago
2004
Springer
Web-based parameterized quizzes provide teachers and students with several advantages as the technology for self-assessment. However, the effect of these advantages is strongly red...
162
click to vote
ISCC
2006
IEEE
16 years 19 days ago
2006
IEEE
Distributed network intrusion detection systems which incorporate tens, hundreds, even thousands, of sensors are becoming increasing popular. Managing and presenting the informati...
181
click to vote
AAAI
1997
15 years 8 months ago
1997
1 We have constructed a team of intelligent agents that perform the tasks of an attack helicopter company for a synthetic battlefield environment used for running largescale milita...
204
click to vote
PDC
2004
ACM
16 years 1 days ago
2004
ACM
Most experiments with participative design are with small scale, stand alone and not very strategic applications of ICT in organizations. However, modern ICT applications are incr...
218
click to vote
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...