5216 search results - page 306 / 1044 » Planning as Model Checking |
119
click to vote
ECIS
2004
15 years 6 months ago
2004
E-learning is a new strategic arena for higher education, and higher education institutions (HEIs) need to acquire the necessary competencies and capabilities to participate. Thes...
185
click to vote
ECOOPW
2003
Springer
15 years 10 months ago
2003
Springer
The concept of a software product line is a promising approach for increasing planned reusability in industry. For planning future requirements, the integration of domain analysis ...
141
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...
158
click to vote
CMOT
2010
15 years 2 months ago
2010
Planning a path to a destination, given a number of options and obstacles, is a common task. We suggest a two-component cognitive model that combines retrieval of knowledge about t...
139
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
CHRISTIAN, DAVID B. Strategic Deception in Agents. (Under the direction of Assistant Professor R. Michael Young). Despite its negative ethical connotations, deception is a useful ...