Sciweavers

2025 search results - page 250 / 405
» Software performance modelling using PEPA nets
Sort
View
152
Voted
IHI
2010
109views Healthcare» more  IHI 2010»
14 years 10 months ago
Process-based derivation of requirements for medical devices
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
Heather M. Conboy, George S. Avrunin, Lori A. Clar...
ECEASST
2006
154views more  ECEASST 2006»
15 years 3 months ago
EMF Model Refactoring based on Graph Transformation Concepts
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...
Enrico Biermann, Karsten Ehrig, Christian Köh...
150
Voted
PE
2010
Springer
123views Optimization» more  PE 2010»
14 years 10 months ago
Evaluating fluid semantics for passive stochastic process algebra cooperation
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
Richard A. Hayden, Jeremy T. Bradley
128
Voted
WOSP
2000
ACM
15 years 8 months ago
A UML tool for an automatic generation of simulation programs
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...
L. B. Arief, Neil A. Speirs
147
Voted
SIGIR
2008
ACM
15 years 3 months ago
A few examples go a long way: constructing query models from elaborate query formulations
We address a specific enterprise document search scenario, where the information need is expressed in an elaborate manner. In our scenario, information needs are expressed using a...
Krisztian Balog, Wouter Weerkamp, Maarten de Rijke