Sciweavers

2722 search results - page 104 / 545
» Hastily formed networks
Sort
View
ICCAD
1998
IEEE
82views Hardware» more  ICCAD 1998»
14 years 2 months ago
Symbolic model checking of process networks using interval diagram techniques
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
Karsten Strehl, Lothar Thiele
AIPRF
2007
13 years 11 months ago
Instinct and Learning Synergy in Simulated Foraging Using a Neural Network
Instinct and experience are shown to form a potent combination to achieve effective foraging in a simulated environment. A neural network capable of evolving instinct-related neur...
Thomas E. Portegys
CANDC
2006
ACM
13 years 10 months ago
Identification of functional modules in a PPI network by clique percolation clustering
Large-scale experiments and data integration have provided the opportunity to systematically analyze and comprehensively understand the topology of biological networks and biochem...
Shi-Hua Zhang, Xue-Mei Ning, Xiang-Sun Zhang
PERCOM
2008
ACM
14 years 9 months ago
Topology Formation in IEEE 802.15.4: Cluster-Tree Characterization
The IEEE 802.15.4 standard defines a set of procedures to set-up a Low-Rate Wireless Personal Area Network where nodes self-organize into a logical communication structure through ...
Francesca Cuomo, Sara Della Luna, Petia Todorova, ...
IWAN
2004
Springer
14 years 3 months ago
Dynamic Link Measurements Using Active Components
Active and programmable network technologies strive to support completely new forms of data-path processing capabilities inside the network. This in conjunction with the ability to...
Dimitrios P. Pezaros, Manolis Sifalakis, Stefan Sc...