641 search results - page 87 / 129 » Applications of a Logical Discovery Engine |
ICST
2010
IEEE
13 years 7 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
SDM
2009
SIAM
14 years 5 months ago
2009
SIAM
Most data mining operations include an integral search component at their core. For example, the performance of similarity search or classification based on Nearest Neighbors is ...
COMPSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
PADL
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...