Sciweavers

1660 search results - page 264 / 332
» A Behavior Model for Next Generation Test Systems
Sort
View
ICALT
2003
IEEE
15 years 3 months ago
Adaptive Exploration of Assessment Results under Uncertainty
In the context of Intelligent Learning Environments (ILE), adaptivity plays a key role. In order to achieve adaptive behavior an ILE should have a rich representation of the learn...
Dimitris Lamboudis, Anastasios A. Economides, Anas...
OPODIS
2004
14 years 11 months ago
Embedded Systems - Challenges and Work Directions
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
Joseph Sifakis
WCE
2007
14 years 11 months ago
Experimental Study on Lightning Characteristics of Electronic Equipment's Power Supply
—Lightning protection for power supply of electronic equipment is an important problem of low-voltage lightning protection systems. In this paper, lightning characteristics of el...
Chai Yajing, Zhou Wenjun, He Ruidong, Zhao Luxing
EUROCAST
2007
Springer
161views Hardware» more  EUROCAST 2007»
15 years 1 months ago
Using Verification Technology to Specify and Detect Malware
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
Andreas Holzer, Johannes Kinder, Helmut Veith
HCI
2007
14 years 11 months ago
Social Puppets: Towards Modular Social Animation for Agents and Avatars
State-of-the-art computer graphics can give autonomous agents a compelling appearance as animated virtual characters. Typically the agents are directly responsible for controlling ...
Hannes Högni Vilhjálmsson, Chirag Merc...