Sciweavers

3284 search results - page 461 / 657
» On the modularity of feature interactions
Sort
View
EMISA
2004
Springer
16 years 13 days ago
On the Modeling of Correct Service Flows with BPEL4WS
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
Manfred Reichert, Stefanie Rinderle, Peter Dadam
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
16 years 13 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 13 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 13 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 13 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...