184 search results - page 34 / 37 » Automating Guidelines Inspection |
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
The Supply Chain Trading Agent Competition (TAC SCM) was designed to explore approaches to dynamic supply chain trading. During the course of each year’s competition historical d...
RAID
2007
Springer
14 years 3 months ago
2007
Springer
Honeypot has been an invaluable tool for the detection and analysis of network-based attacks by either human intruders or automated malware in the wild. The insights obtained by de...
ACSC
2004
IEEE
14 years 1 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
ICAI
2004
13 years 11 months ago
2004
This paper shows how to generate an English step-by-step explanation that describes how an automated reasoning system solves a complex logic program. We limit our attention to pro...
BMCBI
2008
13 years 10 months ago
2008
Background: The expansion of automatic imaging technologies has created a need to be able to efficiently compare and review large sets of image data. To enable comparisons of imag...