2664 search results - page 412 / 533 » Theory by Process |
187
click to vote
DNA
2007
Springer
16 years 19 days ago
2007
Springer
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
159
click to vote
ECUMN
2007
Springer
16 years 19 days ago
2007
Springer
This article presents a novel method for computing distances between hosts in a computational Grid. Our method allows to represent the cost to achieve any operation involving some...
167
click to vote
EMSOFT
2007
Springer
16 years 19 days ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
153
click to vote
ESORICS
2007
Springer
16 years 19 days ago
2007
Springer
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. The quality of protection provided by a firewall directly...
164
click to vote
FCT
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...