605 search results - page 74 / 121 » Dynamic inference of abstract types |
ICADL
2003
Springer
14 years 2 months ago
2003
Springer
Ontologies play an important role in the Semantic Web as well as in digital library and knowledge portal applications. This project seeks to develop an automatic method to enrich e...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
CASSIS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
AIME
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Cancer spread is a non-deterministic dynamic process. As a consequence, the design of an assistant system for the diagnosis and prognosis of the extent of a cancer should...
ASIAN
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space ...