Sciweavers

14331 search results - page 237 / 2867
» On the modeling and analysis of obligations
Sort
View
BPM
2005
Springer
75views Business» more  BPM 2005»
16 years 3 days ago
An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis
Jiacun Wang, Daniela Rosca, William M. Tepfenhart,...
CHARME
2005
Springer
119views Hardware» more  CHARME 2005»
16 years 3 days ago
High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design
Petr Matousek, Ales Smrcka, Tomás Vojnar
GECCO
2005
Springer
121views Optimization» more  GECCO 2005»
16 years 3 days ago
Using a Markov network model in a univariate EDA: an empirical cost-benefit analysis
Siddhartha Shakya, John A. W. McCall, Deryck F. Br...
GFKL
2005
Springer
165views Data Mining» more  GFKL 2005»
16 years 3 days ago
A Market Basket Analysis Conducted with a Multivariate Logit Model
Yasemin Boztug, Lutz Hildebrandt