5690 search results - page 763 / 1138 » A Position Control System Design |
194
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—BitTorrent has been the most popular P2P (Peer-toPeer) paradigm during recent years. Built upon great intuition, the piece-selection and neighbor-selection modules roote...
187
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a novel theoretical biomolecular design to implement any Boolean circuit using the mechanism of DNA strand displacement. The design is scalable: all species of DNA stra...
164
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
209
click to vote
CODES
2005
IEEE
16 years 10 days ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
185
click to vote
USS
2008
15 years 9 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...