2687 search results - page 439 / 538 » Formal Analysis of PKCS |
148
click to vote
SAC
2009
ACM
16 years 27 days ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
156
click to vote
FASE
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Software is often tested with unit tests, in which each procedure is executed in isolation, and its result compared with an expected value. Individual tests correspond to...
165
Voted
IPSN
2009
Springer
16 years 26 days ago
2009
Springer
In this work we present new in-network techniques for communication efficient approximate query processing in wireless sensornets. We use a model-based approach that constructs a...
176
click to vote
DSN
2009
IEEE
16 years 26 days ago
2009
IEEE
Decomposition is used to manage system complexity, but is problematic for emergent properties such as system safety. Previously, we introduced Indirect Control Path Analysis (ICPA...
190
click to vote
RTSS
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...