Sciweavers

13977 search results - page 607 / 2796
» Evolution in complex systems
Sort
View
AH
2008
Springer
16 years 1 months ago
Guaranteeing the Correctness of an Adaptive Tutoring System
Abstract. This paper presents an approach to create adaptive web-based educative systems that can be automatically audited by means of standard web testing tools. The auditing tool...
Pilar Prieto Linillos, Sergio Gutiérrez San...
ACSD
2007
IEEE
136views Hardware» more  ACSD 2007»
16 years 1 months ago
Mapping Applications to Tiled Multiprocessor Embedded Systems
Modern multiprocessor embedded systems execute a large number of tasks on shared processors and handle their complex communications on shared communication networks. Traditional m...
Lothar Thiele, Iuliana Bacivarov, Wolfgang Haid, K...
ICMCS
2007
IEEE
124views Multimedia» more  ICMCS 2007»
16 years 1 months ago
Robust Video Object Segmentation Based on K-Means Background Clustering and Watershed in Ill-Conditioned Surveillance Systems
A robust video object segmentation algorithm for complex conditions in surveillance systems is proposed in this paper. This algorithm contains an unsupervised K-Means background c...
Tse-Wei Chen, Shou-Chieh Hsu, Shao-Yi Chien
APSEC
2005
IEEE
16 years 26 days ago
Systematic Use Case Interviews for Specification of Automotive Systems
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
Shariful Islam, Hannes Omasreiter
TGC
2005
Springer
16 years 21 days ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy