5216 search results - page 757 / 1044 » Planning as Model Checking |
167
click to vote
EUROMICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
The idea of component based software systems has a long tradition in the field of software engineering. Component markets have been an integral part of this idea. However, such ma...
186
click to vote
WETICE
1998
IEEE
15 years 10 months ago
1998
IEEE
Although work pr ocesses, like software pr ocesses, include a number of process aspects such as defined phases and deadlines, they are not plannable in detail. Howe ver, the advan...
173
click to vote
WSC
2007
15 years 9 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
160
click to vote
WSC
2008
15 years 9 months ago
2008
Construction business is project oriented and that is why every construction organization is dependent on projects. Typically they undertake multiple projects with limited multipl...
181
click to vote
ATMOS
2008
15 years 8 months ago
2008
Abstract. Recently, the recoverable robustness model has been introduced in the optimization area. This model allows to consider disruptions (input data changes) in a unified way, ...