Sciweavers

2369 search results - page 70 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
ISESE
2002
IEEE
15 years 11 months ago
The Appropriateness of Gutman's Means-End Chain Model in Software Evaluation
The primary objective of this paper was to examine the extent to which Gutman’s Means-End Chain Model can be used to describe the influences given to the choice of characteristi...
Bernard Wong
WOSP
2005
ACM
15 years 12 months ago
Performance evaluation of UML software architectures with multiclass Queueing Network models
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
Simonetta Balsamo, Moreno Marzolla
ICSM
1997
IEEE
15 years 10 months ago
A Model for Change Propagation Based on Graph Rewriting
This paper presents a model of change propagation during software maintenance and evolution. Change propagation is modeled as a sequence of snapshots, where each snapshot represen...
Vaclav Rajlich
ESWS
2008
Springer
15 years 8 months ago
The Web Service Modeling Toolkit
The development of software is not an easy task and the availability of adequate tool support is an important step towards reducing the effort that a developer must put into the So...
Mick Kerrigan, Adrian Mocan
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 6 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002