3943 search results - page 577 / 789 » Architecture-Level Requirements Specification |
162
click to vote
ENTCS
2006
15 years 6 months ago
2006
In ad-hoc networks, autonomous wireless nodes can communicate by forwarding messages for each other. For routing protocols in this setting, it is known that a malicious node can p...
189
click to vote
ENTCS
2006
15 years 6 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...
170
click to vote
ESWA
2006
15 years 6 months ago
2006
Proteomics is a field dedicated to the analysis and identification of proteins within an organism. Within proteomics, two-dimensional electrophoresis (2-DE) is currently unrivalle...
149
click to vote
FFA
2006
15 years 6 months ago
2006
We consider the problem of increasing the threshold parameter of a secret-sharing scheme after the setup (share distribution) phase, without further communication between the deal...
157
click to vote
FMSD
2006
15 years 6 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...