1541 search results - page 173 / 309 » Tools and Techniques for Model Checking Networked Programs |
159
Voted
ISCAPDCS
2007
15 years 6 months ago
2007
— 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 ...
165
click to vote
ACSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
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 ...
130
click to vote
SBRN
2000
IEEE
15 years 9 months ago
2000
IEEE
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 ...
109
Voted
BC
2008
15 years 4 months ago
2008
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...
156
click to vote
PEWASUN
2007
ACM
15 years 6 months ago
2007
ACM
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...