Sciweavers

1541 search results - page 173 / 309
» Tools and Techniques for Model Checking Networked Programs
Sort
View
159
Voted
ISCAPDCS
2007
15 years 6 months ago
Evaluation of architectural support for speech codecs application in large-scale parallel machines
— Next generation multimedia mobile phones that use the high bandwidth 3G cellular radio network consume more power. Multimedia algorithms such as speech, video transcodecs have ...
Naeem Zafar Azeemi
ACSAC
2000
IEEE
15 years 9 months ago
History-based Distributed Filtering - A Tagging Approach to Network-Level Access Control
This contribution discusses a network-level access control technique that applies the non-discretionary access control model to individual data packets that are exchanged between ...
Reiner Sailer, M. Kabatnik
SBRN
2000
IEEE
15 years 9 months ago
An Evolutionary Immune Network for Data Clustering
This paper explores basic aspects of the immune system and proposes a novel immune network model with the main goals of clustering and filtering unlabeled numerical data sets. It ...
Leandro Nunes de Castro, Fernando J. Von Zuben
109
Voted
BC
2008
72views more  BC 2008»
15 years 4 months ago
Spike-train spectra and network response functions for non-linear integrate-and-fire neurons
Reduced models have long been used as a tool for the analysis of the complex activity taking place in neurons and their coupled networks. Recent advanced in experimental and theore...
Magnus J. E. Richardson
PEWASUN
2007
ACM
15 years 6 months ago
Worst-case lifetime computation of a wireless sensor network by model-checking
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
Laurent Mounier, Ludovic Samper, Wassim Znaidi