1026 search results - page 33 / 206 » A Methodology for Equational Reasoning |
MASCOTS
2007
13 years 9 months ago
2007
— We present a tool, PerfCenter, that takes as input the deployment, configuration, message flow and workload details of the hardware and software servers in an application hos...
LREC
2010
13 years 9 months ago
2010
In the first part of this paper, we present a framework for enriching arbitrary upper or domain-specific ontologies with a concept of time. To do so, we need the notion of a time ...
FSS
2010
13 years 6 months ago
2010
Recently, many works have appeared dealing with the distributivity of fuzzy implications over t-norms, tconorms and uninorms (see [2, 3, 4, 5, 12, 13, 14]). These equations have a...
DLOG
1996
13 years 9 months ago
1996
: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...
LOPSTR
2004
Springer
14 years 1 months ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...