10916 search results - page 44 / 2184 » On Constructive Connectives and Systems |
TIME
2007
IEEE
15 years 4 months ago
2007
IEEE
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
ADG
1998
Springer
15 years 2 months ago
1998
Springer
This paper reviews and evaluates three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation metho...
DAM
1999
14 years 9 months ago
1999
Compound methods have been shown to be very e ective in the construction of broadcast graphs. Compound methods generate a large broadcast graph by combining multiple copies of a b...
PDP
2007
IEEE
15 years 4 months ago
2007
IEEE
SockMi is a solution for the migration of TCP/IP connections between Linux systems. Only the migrating peer of the connection needs to reside on a Linux system. The migration is c...
SSS
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we present a rigorous treatment to structured overlay maintenance in decentralized peerto-peer (P2P) systems subject to various system and network failures. we prese...