1990 search results - page 46 / 398 » Towards software-friendly networks |
EH
2004
IEEE
14 years 17 days ago
2004
IEEE
This work deals with the design of analog circuits for Artificial Neural Networks (ANNs) controllers using an Evolvable Hardware (EHW) platform. ANNs are massively parallel system...
CSFW
2000
IEEE
14 years 13 days ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
CLUSTER
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper describes SymbioticSphere, a novel biologically-inspired architecture that allows grid systems (application services and middleware platforms) to be scalable and adapti...
ACSD
2010
IEEE
13 years 6 months ago
2010
IEEE
We present a formal framework to evaluate stochastic properties of MANET protocols. It captures the interplay between stochastic behavior of protocols deployed at different network...
SAINT
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, we propose OCN (Owner-Centric Networking), a new Internet architecture that provides individuals control over their contents. We argue that this architecture would ...