Sciweavers

1761 search results - page 14 / 353
» Performance Evaluation : = (Process Algebra Model Checking...
Sort
View
DKE
2011
260views Education» more  DKE 2011»
12 years 11 months ago
Analysis on demand: Instantaneous soundness checking of industrial business process models
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and...
Dirk Fahland, Cédric Favre, Jana Koehler, N...
BPSC
2007
149views Business» more  BPSC 2007»
13 years 9 months ago
Modelling Business Process Performance
: We present a business process performance evaluation approach based on a hierarchy of interacting analytical performance models from semanticoriented key performance indicator mo...
Witold Staniszkis
WSE
2005
IEEE
14 years 1 months ago
A Comprehensive Model for Web Sites Quality
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...
Oreste Signore
ICDE
1998
IEEE
153views Database» more  ICDE 1998»
14 years 9 months ago
Flattening an Object Algebra to Provide Performance
Algebraic transformation and optimization techniques have been the method of choice in relational query execution, but applying them in OODBMS is difficult due to the complexity o...
Peter A. Boncz, Annita N. Wilschut, Martin L. Kers...
JCSS
2008
159views more  JCSS 2008»
13 years 7 months ago
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillst...