5216 search results - page 449 / 1044 » Planning as Model Checking |
183
click to vote
CP
1998
Springer
15 years 11 months ago
1998
Springer
The constraint paradigm provides powerful concepts to represent and solve different kinds of planning problems, e. g. factory scheduling. Factory scheduling is a demanding optimiz...
165
click to vote
ACAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper addresses the topic of how architectural visual experience can be represented and utilised by a software system. The long-term aim is to equip an artificial agent with ...
167
click to vote
ESEM
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents the findings of a survey on quality models in practice conducted among four software companies in Germany. In the first phase of the study, 25 quality manage...
188
click to vote
ICECCS
1995
IEEE
15 years 10 months ago
1995
IEEE
Design, performance management, and capacity planning of client/server applications in the commercial enterprise depends on the ability to model these distributed applications at ...
200
click to vote
CAINE
2003
15 years 8 months ago
2003
An agent based system is used to model unmanned aerial vehicle missions utilizing various control models. The system uses a multi level approach to modeling a UAV in order to supp...