323 search results - page 32 / 65 » Verifying the Mondex Case Study |
SEMWEB
2007
Springer
14 years 4 months ago
2007
Springer
Partial knowledge about geospatial categories is critical for knowledge modelling in the geospatial domain but is beyond the scope of conventional ontologies. Degree of overlaps be...
IAT
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such scientific applications is therefore ...
SBACPAD
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents a theoretical study to evaluate the performance of a family of parallel implementations of the propagation algorithm. The propagation algorithm is used to an i...
FORMATS
2003
Springer
14 years 3 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...