Sciweavers

1309 search results - page 83 / 262
» Revenue management: Models and methods
Sort
View
EDOC
2000
IEEE
15 years 3 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
GLOBECOM
2009
IEEE
14 years 9 months ago
Modelling of the WCDMA Interface in the UMTS Network with Soft Handoff Mechanism
The paper proposes an analytical approach to blocking probability calculation in the UMTS network carrying a mixture of multi-rate traffic, under the assumption that the part of re...
Maciej Stasiak, Piotr Zwierzykowski, Damian Parnie...
WSC
2004
15 years 20 days ago
An Event Graph Based Simulation and Scheduling Analysis of Multi-Cluster Tools
Simulation methods are extensively used in modeling complex scheduling problems. However, traditional layout of simulation models can become complicated when they are used to find...
Shengwei Ding, Jingang Yi
CSMR
2005
IEEE
15 years 5 months ago
A Process Model and Typology for Software Product Updaters
Product software is constantly evolving through extensions, maintenance, changing requirements, changes in configuration settings, and changing licensing information. Managing ev...
Slinger Jansen, Gerco Ballintijn, Sjaak Brinkkempe...
ECBS
2003
IEEE
145views Hardware» more  ECBS 2003»
15 years 4 months ago
Model Checking and Evidence Exploration
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka