Sciweavers

3523 search results - page 487 / 705
» Feature interaction in policies
Sort
View
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
16 years 2 days ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
GECCO
2004
Springer
106views Optimization» more  GECCO 2004»
16 years 2 days ago
Bluenome: A Novel Developmental Model of Artificial Morphogenesis
The Bluenome Model of Development is introduced. The Bluenome model is a developmental model of Artificial Morphogenesis, inspired by biological development, instantiating a subset...
Taras Kowaliw, Peter Grogono, Nawwaf N. Kharma
GG
2004
Springer
16 years 2 days ago
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
Paolo Baldan, Barbara König, Ingo Stürme...
ITS
2004
Springer
84views Multimedia» more  ITS 2004»
16 years 1 days ago
Web-Based Intelligent Multimedia Tutoring for High Stakes Achievement Tests
Abstract. We describe Wayang Outpost, a web-based ITS for the Math section of the Scholastic Aptitude Test (SAT). It has several distinctive features: help with multimedia animatio...
Ivon Arroyo, Carole R. Beal, Tom Murray, Rena Wall...
UPP
2004
Springer
16 years 21 hour ago
Higher-Order Chemical Programming Style
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...
Jean-Pierre Banâtre, Pascal Fradet, Yann Rad...