2288 search results - page 415 / 458 » Learning Business Process Models: A Case Study |
123
click to vote
CCE
2004
15 years 4 months ago
2004
The problem addressed in this work is to develop a comprehensive mathematical programming model for the efficient scheduling of oil-refinery operations. Our approach is first to d...
148
click to vote
CSFW
2011
IEEE
14 years 3 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
107
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
Many efforts in Grid communities have focused on middleware research and development. However, Grid application-level tools are needed which can build higherlevel functionality on...
149
click to vote
ISESE
2006
IEEE
15 years 10 months ago
2006
IEEE
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
143
click to vote
BIBE
2004
IEEE
15 years 7 months ago
2004
IEEE
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...