531 search results - page 63 / 107 » Formal Methods for Networks on Chips |
182
Voted
COMPSAC
2006
IEEE
16 years 4 days ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
179
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: The accurate detection of differentially expressed (DE) genes has become a central task in microarray analysis. Unfortunately, the noise level and experimental variabi...
186
click to vote
FMICS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
181
Voted
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
266
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
Wireless Sensor Networks (WSNs) may be deployed in hostile or inaccessible environments and are often unattended. In these conditions securing a WSN against malicious attacks is a...