Sciweavers

3147 search results - page 145 / 630
» Statistically Hiding Sets
Sort
View
DAC
1999
ACM
14 years 10 months ago
Behavioral Synthesis Techniques for Intellectual Property Protection
? The economic viability of the reusable core-based design paradigm depends on the development of techniques for intellectual property protection. We introduce the first dynamic wa...
Inki Hong, Miodrag Potkonjak
POPL
2008
ACM
14 years 9 months ago
The intensional content of Rice's theorem
The proofs of major results of Computability Theory like Rice, Rice-Shapiro or Kleene's fixed point theorem hide more information of what is usually expressed in their respec...
Andrea Asperti
CSFW
2008
IEEE
14 years 3 months ago
Language Based Secure Communication
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
Michele Bugliesi, Riccardo Focardi
CORR
2010
Springer
157views Education» more  CORR 2010»
13 years 9 months ago
Clandestine Simulations in Cellular Automata
This paper studies two kinds of simulation between cellular automata: simulations based on factor and simulations based on sub-automaton. We show that these two kinds of simulation...
Pierre Guillon, Pierre-Etienne Meunier, Guillaume ...
JOT
2007
100views more  JOT 2007»
13 years 9 months ago
Software Design Metrics for Object-Oriented Software
The importance of software measurement is increasing leading to development of new measurement techniques. As the development of object-oriented software is rising, more and more ...
K. K. Aggarwal, Yogesh Singh, Arvinder Kaur, Ruchi...