5634 search results - page 732 / 1127 » About Abstract Classes |
146
click to vote
DNA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A major challenge in nanoscience is the design of synthetic molecular devices that run autonomously and are programmable. DNA-based synthetic molecular devices have the a...
169
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
133
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Clusters of loosely connected machines are becoming an important model for commercial computing. The cost/performance ratio makes these scale-out solutions an attractive ...
160
click to vote
FASE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
207
Voted
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...