5216 search results - page 707 / 1044 » Planning as Model Checking |
216
click to vote
RE
2010
Springer
15 years 1 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
176
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In many cases x-ray images are the only basis for surgery planning. Nevertheless it is desirable to draw conclusions about the 3D-anatomy of the patient from such data. This work ...
151
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
Partially Observable Markov Decision Processes (POMDPs) have succeeded in planning domains that require balancing actions that increase an agent's knowledge and actions that ...
169
click to vote
WISE
2009
Springer
16 years 1 months ago
2009
Springer
Planning out maintenance tasks to increase the quality of Web applications can be difficult for a manager. First, it is hard to evaluate the precise effect of a task on quality. S...
144
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
Declarative approaches have been proposed to counter the limited flexibility of the traditional imperative modeling paradigm, but little empirical insights are available into thei...