Sciweavers

295 search results - page 36 / 59
» Special issue on intelligent computing theory and methodolog...
Sort
View
EMSOFT
2006
Springer
14 years 2 months ago
Implementing fault-tolerance in real-time systems by automatic program transformations
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
Tolga Ayav, Pascal Fradet, Alain Girault
CAISE
2006
Springer
14 years 26 days ago
A Task-Driven Design Model for Collaborative AmI Systems
Abstract. Ambient intelligence (AmI) is a promising paradigm for humancentred interaction based on mobile and context-aware computing, natural interfaces and collaborative work. AM...
Roberto F. Arroyo, Miguel Gea, José Luis Ga...
GECCO
2006
Springer
332views Optimization» more  GECCO 2006»
14 years 2 months ago
Multi-objective PID-controller tuning for a magnetic levitation system using NSGA-II
This paper investigates the issue of PID-controller parameter tuning for a magnetic levitation system using the nondominated sorting genetic algorithm (NSGA-II). The magnetic levi...
Gerulf K. M. Pedersen, Zhenyu Yang
JCDL
2006
ACM
104views Education» more  JCDL 2006»
14 years 4 months ago
Template-based authoring of educational artifacts
The Walden’s Paths project is developing tools for leveraging student learning with the incredible amount of educational material on the Web. Specialized templates based on esta...
Sarah Davis, Paul Logasa Bogen II, Lauren Cifuente...
ATAL
2005
Springer
14 years 4 months ago
Coping with inaccurate reputation sources: experimental analysis of a probabilistic trust model
This research aims to develop a model of trust and reputation that will ensure good interactions amongst software agents in large scale open systems. The following are key drivers...
W. T. Luke Teacy, Jigar Patel, Nicholas R. Jenning...