1226 search results - page 217 / 246 » Generating Abstractions from Static Domain Analysis |
111
Voted
TCAD
2008
15 years 14 days ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
135
Voted
GLOBECOM
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Wireless networks, especially mobile ad hoc networks (MANET) and cognitive radio networks (CRN), are facing two new challenges beyond traditional random network model: op...
181
Voted
BIRTHDAY
2011
Springer
14 years 16 days ago
2011
Springer
Abstract. Risk analysis has been used to manage the security of systems for several decades. However, its use has been limited to offline risk computation and manual response. In c...
128
click to vote
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...
122
click to vote
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— Providing end-to-end data security, i.e., data confidentiality, authenticity, and availability, in wireless sensor networks (WSNs) is a non-trivial task. In addition t...