Sciweavers

3771 search results - page 218 / 755
» Process modeling for future technologies
Sort
View
CCE
2004
15 years 2 months ago
Modeling and solving real-time scheduling problems by stochastic integer programming
This contribution deals with scheduling problems of flexible chemical batch processes with a special emphasis on their real-time character. This implies not only the need for suff...
Guido Sand, Sebastian Engell
PLILP
1998
Springer
15 years 6 months ago
Logic Programming and Model Checking
We report on the current status of the LMC project, which seeks to deploy the latest developments in logic-programming technology to advance the state of the art of system speci ca...
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kum...
126
Voted
PPOPP
1993
ACM
15 years 6 months ago
LogP: Towards a Realistic Model of Parallel Computation
A vast body of theoretical research has focused either on overly simplistic models of parallel computation, notably the PRAM, or overly specific models that have few representati...
David E. Culler, Richard M. Karp, David A. Patters...
110
Voted
HICSS
2009
IEEE
321views Biometrics» more  HICSS 2009»
15 years 9 months ago
A Conceptual Model for Studying the Influence of Charismatic Leadership on ERP Implementation Lifecycle
In the context of ERP implementation, leadership is consistently found to be the most important factor leading to implementation success. However, most of the studies focus on lea...
Zhen Shao, Yuqiang Feng, Qing Hu, Yang Liu
116
Voted
DSVIS
2008
Springer
15 years 4 months ago
Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...
Jan Van den Bergh, Mieke Haesen, Kris Luyten, Sofi...