4 search results - page 1 / 1 » On Monotonic Operations which Are Locally Internal on Some S... |
EUSFLAT
2007
13 years 6 months ago
2007
In the paper [4] a structure of operation locally internal on some subset of domain is given. Here we present additional properties of such operation and sufficient conditions to ...
DLOG
2008
13 years 7 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
CONTEXT
1999
Springer
13 years 9 months ago
1999
Springer
We survey some issues that relate to context dependence and context sensitivity in the development of software, particularly in relation to information systems by defining a range...
EMSOFT
2007
Springer
13 years 10 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...