955 search results - page 96 / 191 » Model Checking Operator Procedures |
122
Voted
EDOC
2005
IEEE
15 years 6 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
95
Voted
OR
2006
Springer
15 years 22 days ago
2006
Springer
Given that contractor plays a critical role in any construction project, contractor selection constitutes key decision for public authorities. Prequalification, i.e. the eliminati...
96
Voted
WCE
2007
15 years 1 months ago
2007
— Industrial plants makes a carefully trace of the human intervention on the process. This intervention happens at different points in the history of the facility, since the desi...
106
click to vote
GEOINFORMATICA
1998
15 years 14 days ago
1998
The nature of map generalization may be non-uniform along the length of an individual line, requiring the application of methods that adapt to the local geometry and the geographi...
142
Voted
OR
2007
Springer
15 years 8 days ago
2007
Springer
The Maximal Covering Location Problem (MCLP) maximizes the population that has a facility within a maximum travel distance or time. Numerous extensions have been proposed to enhan...