Sciweavers

2757 search results - page 107 / 552
» Empirical investigations of conceptual modeling and the mode...
Sort
View
BPM
2007
Springer
201views Business» more  BPM 2007»
15 years 6 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
DAC
2005
ACM
15 years 1 months ago
Mapping statistical process variations toward circuit performance variability: an analytical modeling approach
A physical yet compact gate delay model is developed integrating short-channel effects and the Alpha-power law based timing model. This analytical approach accurately predicts bot...
Yu Cao, Lawrence T. Clark
QEST
2009
IEEE
15 years 6 months ago
Comparison of Two Output Models for the BMAP/MAP/1 Departure Process
—The departure process of a BMAP/MAP/1 queue can be approximated in different ways: as a Markovian arrival process (MAP) or as a matrix-exponential process (MEP). Both approximat...
Qi Zhang, Armin Heindl, Evgenia Smirni, Andreas St...
VISUALIZATION
2002
IEEE
15 years 4 months ago
A Model for the Visualization Exploration Process
The current state of the art in visualization research places a strong emphasis on different techniques to derive insight from disparate types of data. However, little work has in...
T. J. Jankun-Kelly, Kwan-Liu Ma, Michael Gertz
PSB
2004
15 years 1 months ago
Modeling Cellular Processes with Variational Bayesian Cooperative Vector Quantizer
Gene expression of a cell is controlled by sophisticated cellular processes. The capability of inferring the states of these cellular processes would provide insight into the mech...
Xinghua Lu, Milos Hauskrecht, Roger S. Day