94 search results - page 3 / 19 » Project Planning Support by Model Checking |
GIS
2010
ACM
12 years 11 months ago
2010
ACM
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...
PRIMA
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
ACE
2003
13 years 6 months ago
2003
This paper provides a first account of1 the Building the Internet Workforce project. A number of further papers are planned. An outline of the project’s progress and outcomes is...
JLP
2007
13 years 4 months ago
2007
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
MI
1993
13 years 6 months ago
1993
AI planning research is now maturing and nding practical application in the commercial, industrial, engineering and defence sectors. This has led to a rapid expansion in the last ...