5216 search results - page 941 / 1044 » Planning as Model Checking |
171
click to vote
DEXA
2000
Springer
15 years 7 months ago
2000
Springer
The Esprit project PRODNET II1 (Production Planning and Management in an Extended Enterprise) had as its main objective the development of a reference architecture and a support in...
129
click to vote
ICSR
2000
Springer
15 years 7 months ago
2000
Springer
Often product line engineering is treated similar to the waterfall model in traditional software engineering, i.e., the different phases (scoping, analysis, architecting, implemen...
139
Voted
ROBOCUP
2000
Springer
15 years 7 months ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
126
click to vote
SIGCOMM
2000
ACM
15 years 7 months ago
2000
ACM
Traffic measurement is a critical component for the control and engineering of communication networks. We argue that traffic measurement should make it possible to obtain the spati...
121
Voted
HYBRID
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We can achieve guaranteed constraint satisfaction of a hybrid dynamical system (which takes into account the underlying continuous dynamics) in a simple, hierarchical con...