10916 search results - page 44 / 2184 » On Constructive Connectives and Systems |
125
Voted
TIME
2007
IEEE
15 years 7 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...
108
Voted
ADG
1998
Springer
15 years 5 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...
70
Voted
DAM
1999
15 years 11 days 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...
82
Voted
PDP
2007
IEEE
15 years 7 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...
87
Voted
SSS
2007
Springer
15 years 6 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...