Sciweavers

7762 search results - page 145 / 1553
» Availability in BitTorrent Systems
Sort
View
DISCEX
2003
IEEE
14 years 1 months ago
Towards a Rigorous Definition of Information System Survivability
The computer systems that provide the information underpinnings for critical infrastructure applications, both military and civilian, are essential to the operation of those appli...
John C. Knight, Elisabeth A. Strunk, Kevin J. Sull...
ERSHOV
2003
Springer
14 years 1 months ago
TeXOR: Temporal XML Database on an Object-Relational Database System
Storage costs are rapidly decreasing, making it feasible to store larger amounts of data in databases. This also makes it possible to store previous versions of data in the databa...
Kjetil Nørvåg, Marit Limstrand, Lene ...
CEEMAS
2001
Springer
14 years 23 days ago
Rascal - A Resource Manager for Multi Agent Systems in Smart Spaces
Multi Agent Systems (MAS) are often used as a software substrate in creating smart spaces. Many of the solutions already developed within the MAS community are applicable in the do...
Krzysztof Gajos
LPAR
2001
Springer
14 years 21 days ago
A Local System for Classical Logic
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
Kai Brünnler, Alwen Fernanto Tiu
ICMCS
2000
IEEE
88views Multimedia» more  ICMCS 2000»
14 years 20 days ago
Progressive Image Transmission over OFDM Systems using Multiple Antennas
A Joint source-channel coding (JSCC) scheme for SPIHT coded image transmission over OFDM systems with spatial diversity is proposed where no feedback channel is available. By usin...
Jie Song, K. J. Ray Liu