Sciweavers

5203 search results - page 52 / 1041
» An approach to workflow modeling and analysis
Sort
View
DSVIS
1994
Springer
14 years 2 months ago
A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...
François Bodart, Anne-Marie Hennebert, Isab...
WSC
2004
13 years 12 months ago
Airport Terminal-Approach Safety and Capacity Analysis Using an Agent-Based Model
The consistent growth of air traffic demand is causing the operational volumes at hub airports to approach their maximum capacities. With this growth, delays are increasing, and s...
Yue Xie, John Shortle, George Donohue
DAGM
2004
Springer
14 years 2 months ago
Differential Analysis of Two Model-Based Vehicle Tracking Approaches
An experimental comparison of `Edge-Element Association (EEA)' and `Marginalized Contour (MCo)' approaches for 3D modelbased vehicle tracking in traffic scenes is complic...
Hendrik Dahlkamp, Arthur E. C. Pece, Artur Ottlik,...
WSC
2004
13 years 12 months ago
Sensitivity Analysis for Transient Single Server Queuing Models Using an Interpolation Approach
Simulation is an essential tool for performance evaluation of many practical systems where planners typically want to know how the system will perform under various parameter sett...
Mohamed A. Ahmed, Talal M. Alkhamis
FORTE
2008
14 years 5 hour ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...