27 search results - page 6 / 6 » A Program Refinement Framework Supporting Reasoning about Kn... |
IDT
2008
13 years 7 months ago
2008
: Many defense, homeland security, and commercial security objectives require continuous tracking of mobile entities such as aircraft. The systems that perform these functions prod...
LPNMR
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...