4227 search results - page 264 / 846 » Philosophical Conceptions of Information |
160
Voted
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
142
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Open exchange of electronic documents in XML formats frequently requires the transformation to different XML-Schemas or DTDs (document type description). We propose a tr...
138
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper the propagation of information about fault states and its implementation in high-speed networks is discussed. The algebraic concept of a lattice partial ordered set ...
193
click to vote
ADBIS
1994
Springer
15 years 11 months ago
1994
Springer
In this paper the ways of various types of transaction support in the buffer system of the storage system are considered. Support of active transaction tree as the mechanism for n...
149
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Disparate algorithms are being designed to decide certain basic questions in opportunistic networks. This position paper describes a nascent idea that aims to provide a single fra...