Sciweavers

13489 search results - page 585 / 2698
» Operating System
Sort
View
IPPS
1999
IEEE
15 years 11 months ago
The Biological Basis of the Immune System as a Model for Intelligent Agents
This paper describes the human immune system and its functionalities from a computational viewpoint. The objective of this paper is to provide the biological basis for an artificia...
Roger L. King, Aric B. Lambert, Samuel H. Russ, Do...
IJAHUC
2010
114views more  IJAHUC 2010»
15 years 5 months ago
Malugo: A peer-to-peer storage system
: We consider the problem of routing locality in peer-to-peer storage systems where peers store and exchange data among themselves. With the global information, peers will take the...
Yu-Wei Chan, Tsung-Hsuan Ho, Po-Chi Shih, Yeh-Chin...
ENTCS
2008
112views more  ENTCS 2008»
15 years 7 months ago
Residual for Component Specifications
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...
Jean-Baptiste Raclet
ENTCS
2007
135views more  ENTCS 2007»
15 years 7 months ago
Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
André Platzer
TWC
2010
15 years 1 months ago
Transmit diversity vs. spatial multiplexing in modern MIMO systems
A contemporary perspective on transmit antenna diversity and spatial multiplexing is provided. It is argued that, in the context of most modern wireless systems and for the operati...
A. Lozano, N. Jindal