2253 search results - page 60 / 451 » The ComFoRT Reasoning Framework |
SSR
1997
13 years 10 months ago
1997
Frameworks are an object-oriented reuse technique that are widely used in industry but not discussed much by the software engineering research community. They are a way of reusing...
ENTCS
2008
13 years 8 months ago
2008
Logical frameworks serve as meta-languages to represent deductive systems, sometimes requiring special purpose meta logics to reason about the representations. In this work, we de...
ENTCS
2006
13 years 8 months ago
2006
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...
WETICE
1996
IEEE
14 years 27 days ago
1996
IEEE
This paper explores generating and conveying confidence in enterprise security. An enterprise assurance framework provides a structure enterprise assurance evidence that strengthe...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper we present a framework for minimum distance computations that allows efficient solution of minimum distance queries on a variety of surface representations, includin...