48 search results - page 4 / 10 » External Reviewers |
ENTCS
2007
13 years 5 months ago
2007
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...
JUCS
2007
13 years 4 months ago
2007
: The development of processors with full custom technology has some disadvantages, such as the time used to design the processors and the cost of the implementation. In this artic...
ACSAC
2004
IEEE
13 years 8 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...
ITICSE
2004
ACM
13 years 10 months ago
2004
ACM
In this paper, we describe our Computer Science Program Assessment (COMPASS) project. COMPASS uses open-source software tools to support the development and analysis of course por...
3DIM
2001
IEEE
13 years 8 months ago
2001
IEEE
Due to its portability and great maneuverability, a handheld range sensor is a flexible solution or complement to efficiently digitize the 3-D shape for a wide variety of objects....