Sciweavers

2369 search results - page 249 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
HPCN
2000
Springer
15 years 10 months ago
Dynamic Reconfiguration in Coordination Languages
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
George A. Papadopoulos, Farhad Arbab
EWCBR
1998
Springer
15 years 10 months ago
Collecting Experience on the Systematic Development of CBR Applications Using the INRECA Methodology
This paper presents an overview of the INRECA methodology for building and maintaining CBR applications. This methodology supports the collection and reuse of experience on the sys...
Ralph Bergmann, Sean Breen, Emmanuelle Fayol, Mehm...
ICSE
2004
IEEE-ACM
16 years 6 months ago
Runtime Verification of Statechart Implementations
Our paper introduces a runtime verification framework for concurrent monitoring of applications specified by UML statecharts. The approach offers a considerable degree of granulari...
Gergely Pintér, István Majzik
SFM
2009
Springer
16 years 1 months ago
Quantitative Analysis of Web Services Using SRMC
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
Allan Clark, Stephen Gilmore, Mirco Tribastone
OOPSLA
2005
Springer
16 years 16 hour ago
SelfSync: a dynamic round-trip engineering environment
Model-Driven Engineering (MDE) advocates the generation of software applications from models, which are views on certain aspects of the software. In order to minimize the delta bet...
Ellen Van Paesschen, Wolfgang De Meuter, Maja D'Ho...