Sciweavers

1926 search results - page 229 / 386
» Modeling and Model Checking Software Product Lines
Sort
View
LCPC
2007
Springer
15 years 10 months ago
An Experimental Evaluation of the New OpenMP Tasking Model
The OpenMP standard was conceived to parallelize dense array-based applications, and it has achieved much success with that. Recently, a novel tasking proposal to handle unstructur...
Eduard Ayguadé, Alejandro Duran, Jay Hoefli...
MKWI
2008
112views Business» more  MKWI 2008»
15 years 5 months ago
An Environment for the Orthographic Modeling of Workflow Components
: An important goal of workflow engines is to simplify the way in which the interaction of workflows and software components (or services) is described and implemented. The vision ...
Colin Atkinson, Dietmar Stoll
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 2 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
COMPSAC
2008
IEEE
15 years 4 months ago
Automated Code Generation for Industrial-Strength Systems
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
Thomas Weigert, Frank Weil, Aswin van den Berg, Pa...
ACAL
2007
Springer
15 years 6 months ago
Modelling Architectural Visual Experience Using Non-linear Dimensionality Reduction
This paper addresses the topic of how architectural visual experience can be represented and utilised by a software system. The long-term aim is to equip an artificial agent with ...
Stephan K. Chalup, Riley Clement, Chris Tucker, Mi...