191 search results - page 32 / 39 » Service Description and Analysis From a Type Theoretic Appro... |
TABLEAUX
2005
Springer
14 years 26 days ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
ESCIENCE
2006
IEEE
14 years 1 months ago
2006
IEEE
A goal of the Geosciences Network (GEON) is to develop cyber-infrastructure that will allow earth scientists to discover access, integrate and disseminate knowledge in distributed...
SP
2010
IEEE
13 years 5 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
ACMSE
2004
ACM
14 years 25 days ago
2004
ACM
SA_MetaMatch, a component of the Standards Advisor (SA), is designed to find relevant documents through matching indices of metadata and document content. The elements in the meta...
EUMAS
2006
13 years 8 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...