5216 search results - page 313 / 1044 » Planning as Model Checking |
121
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
We describe a model-based construction of an online tester for black-box testing of implementation under test (IUT). The external behavior of the IUT is modeled as an output obser...
166
click to vote
DEBS
2010
ACM
15 years 8 months ago
2010
ACM
Publish/subscribe systems are used increasingly often as a communication mechanism in loosely-coupled distributed applications. With their gradual adoption in mission critical are...
137
Voted
WSC
2008
2008
Simulating order fulfillment and supply planning for a vertically aligned industry solution business
15 years 7 months ago
We model supply chain of an industry solution equipment manufacturer, where the merchandise is sold worldwide, but suppliers are mostly located in Asia. The preferred shipment of ...
150
click to vote
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
So far, data warehousing has often been discussed in the light of complex OLAP queries and as reporting facility for operative data. We argue that business planning as a means to ...
124
click to vote
COR
2006
15 years 4 months ago
2006
The objective of the present paper is to select the best compromise irrigation planning strategy for the case study of Jayakwadi irrigation project, Maharashtra, India. Four-phase...