Sciweavers

7103 search results - page 579 / 1421
» Program Generation and Components
Sort
View
AH
2000
Springer
15 years 10 months ago
ACE - Adaptive Courseware Environment
: The Adaptive Courseware Environment (ACE) is a WWW-based tutoring framework which combines methods of knowledge representation, instructional planning, and adaptive media generat...
Marcus Specht
ICECCS
1999
IEEE
83views Hardware» more  ICECCS 1999»
15 years 10 months ago
A Framework for Analyzing Configurations of Deployable Software Systems
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
Dennis Heimbigner, Richard S. Hall, Alexander L. W...
KBSE
1999
IEEE
15 years 10 months ago
Modular and Incremental Analysis of Concurrent Software Systems
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
Hassen Saïdi
DCOSS
2010
Springer
15 years 9 months ago
Data Spider: A Resilient Mobile Basestation Protocol for Efficient Data Collection in Wireless Sensor Networks
Traditional deployments of wireless sensor networks (WSNs) rely on static basestations to collect data. For applications with highly spatio-temporal and dynamic data generation, su...
Onur Soysal, Murat Demirbas
WSC
2008
15 years 8 months ago
Automated execution of simulation studies demonstrated via a simulation of a car
In the automotive area, a huge number of different technologies were developed in the last couples of years. The car manufacturers have to meet the challenge of selecting the most...
Sven Dominka, Eduard Broecker, Frank Schiller