472 search results - page 69 / 95 » Limiting Negations in Formulas |
GC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Is it possible to treat large scale distributed systems as physical systems? The importance of that question stems from the fact that the behavior of many P2P systems is ...
DASFAA
2003
IEEE
14 years 3 months ago
2003
IEEE
The increase in the use of XML (eXtensible Markup Language) makes the semistructured data more and more important on the Web. To exploit the full power of XML documents, a query l...
DATE
2010
IEEE
14 years 3 months ago
2010
IEEE
—Static and dynamic variations, which have negative impact on the reliability of microelectronic systems, increase with smaller CMOS technology. Thus, further downscaling is only...
ISSTA
2000
ACM
14 years 2 months ago
2000
ACM
—Before designing safety- or mission-critical real-time systems, a specification of the required behavior of the system should be produced and reviewed by domain experts. After ...
HT
1999
ACM
14 years 2 months ago
1999
ACM
When the utility of a hypertext system depends on the number of users and amount of data in the system, the system exhibits network effects. This paper examines how the core diffe...