94 search results - page 6 / 19 » Project Planning Support by Model Checking |
WETICE
1998
IEEE
15 years 1 months ago
1998
IEEE
This paper describes the architecture and concept of operation of a Framework for Adaptive Process Modeling and Execution (FAME). The research addresses the absence of robust meth...
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
83
Voted
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Designing complex multi-tier applications that must meet strict performance requirements is a challenging software engineering problem. Ideally, the application architect could de...
SIGUCCS
2003
ACM
15 years 2 months ago
2003
ACM
DePauw University is a small, liberal arts institution with 2200 undergraduate residential students and 222 faculty members, located in Greencastle, Indiana. The challenges of sup...
88
Voted
SIMULATION
1998
14 years 9 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...