5216 search results - page 511 / 1044 » Planning as Model Checking |
178
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Business-IT alignment can be achieved at various levels of maturity. Supposing that an organization has tried to achieve business-IT alignment, a question to face is: how is that o...
190
click to vote
CDVE
2008
Springer
15 years 8 months ago
2008
Springer
No part of the economic community can now escape from the urgent issues related to global warming, carbon footprint and reducing energy consumption. Nevertheless, the construction ...
148
click to vote
RSS
2007
15 years 8 months ago
2007
— Three-dimensional digital terrain models are of fundamental importance in many areas such as the geo-sciences and outdoor robotics. Accurate modeling requires the ability to de...
160
click to vote
JSW
2007
15 years 6 months ago
2007
Abstract— In this paper, we present our methodology proposal for cooperative remote systems modeling. Its aim is to develop models of existing or planned cooperative systems. The...
203
click to vote
IWSEC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Planning information security investment is somewhere between art and science. This paper reviews and compares existing scientific approaches and discusses the relation ...