2468 search results - page 368 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
163
click to vote
EDCC
2008
Springer
15 years 8 months ago
2008
Springer
Faults attacks are a powerful tool to break some implementations of robust cryptographic algorithms such as AES [8] and DES [3]. Various methods of faults attack on cryptographic ...
188
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In multi-robot systems, task allocation and coordination are two fundamental problems that share high synergy. Although multi-robot architectures typically separate them into d...
192
click to vote
IFM
2007
Springer
16 years 28 days ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
207
click to vote
ACL
2006
15 years 8 months ago
2006
When training the parameters for a natural language system, one would prefer to minimize 1-best loss (error) on an evaluation set. Since the error surface for many natural languag...
167
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Although a significant amount of effort has been directed at discovering attacks against anonymity communication networks and developing countermeasures to those attacks, there i...