5600 search results - page 754 / 1120 » Synthesizing robust systems |
154
click to vote
ACNS
2005
Springer
16 years 10 days ago
2005
Springer
Digital signature systems provide a way to transfer trust from the public key to the signed data; this is used extensively within PKIs. However, some applications need a transfer o...
197
click to vote
BERTINORO
2005
Springer
16 years 10 days ago
2005
Springer
Abstract Virtual path management in dynamic networks poses a number of challenges related to combinatorial optimisation, fault and traffic handling. Ideally such management should ...
198
click to vote
CC
2005
Springer
16 years 10 days ago
2005
Springer
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
197
click to vote
DAGM
2005
Springer
16 years 10 days ago
2005
Springer
The ability to accurately localize objects in an observed scene is regarded as an important precondition for many practical applications including automatic manufacturing, quality ...
194
click to vote
DCOSS
2005
Springer
16 years 10 days ago
2005
Springer
In surveillance and tracking applications, wireless sensor nodes collectively monitor the existence of intruding targets. In this paper, we derive closed form results for predicti...