1499 search results - page 86 / 300 » Case Study: An Implementation of a Secure Steganographic Sys... |
154
click to vote
ENTCS
2007
15 years 6 months ago
2007
In the last decade, many calculi for modelling distributed mobile code have been proposed. To assess their merits and encourage use, implementations of the calculi have often been...
169
click to vote
ATVA
2005
Springer
15 years 12 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
129
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
Collaborations (between objects) are increasingly being recognized as fundamental building blocks to structure object-oriented design, and they have made their way into UML. But v...
165
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...
194
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
Physical Unclonable Functions (PUFs) based on Ring Oscillators (ROs) are a promising primitive for FPGA security. However, the quality of their implementation depends on several d...