Sciweavers

2369 search results - page 246 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
IAT
2006
IEEE
16 years 17 days ago
Specification and Verification of Dynamics in Cognitive Agent Models
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...
JUCS
2008
120views more  JUCS 2008»
15 years 6 months ago
An Adaptation Logic Framework for Java-based Component Systems
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
Enrico Oliva, Antonio Natali, Alessandro Ricci, Mi...
PRDC
2007
IEEE
16 years 24 days ago
Model Based Development of Safety-Critical Systems Using Template Based Code Generation
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
Matthias Regensburger, Christian Buckl, Alois Knol...
VAMOS
2007
Springer
16 years 19 days ago
Using Goal-Models to Analyze Variability
On our ongoing research on variability analysis, two major drawbacks have been identified: a) the lack of an effective tracing from the rationale to the selected variant, and b) t...
Bruno González-Baixauli, Miguel A. Laguna, ...
EDOC
2006
IEEE
15 years 10 months ago
Integrated Configuration of Enterprise Systems for Interoperability -- Towards Process Model and Business Document Specification
Enterprise Systems (ES) can be understood as the de facto standard for holistic operational and managerial support within an organization. Most commonly ES are offered as commerci...
Christian Janiesch, Alexander Dreiling, Ulrike Gre...