5216 search results - page 653 / 1044 » Planning as Model Checking |
154
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper explores the impact of Enterprise Resource Planning (ERP) systems using the individual manufacturing facility as the level of analysis. A model of ERP costs and benefit...
163
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
The UPIO (User-controllable Parallel I/O) we proposed xtends the abstraction of a linear file model into an n-dimensional file model, making it possible to control the layout of d...
164
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
Consistency management is an important requirement in many complex applications, but current programming languages and database systems provide inadequate support for it. To addre...
140
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
190
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...