7225 search results - page 1341 / 1445 » On the Computational Power of Biochemistry |
135
click to vote
KI
2010
Springer
14 years 12 months ago
2010
Springer
The COTESYS cluster of excellence1 investigates cognition for technical systems such as vehicles, robots, and factories. Cognitive technical systems (CTS) are information processi...
127
click to vote
PVLDB
2010
14 years 12 months ago
2010
Cloud storage is an emerging infrastructure that offers Platforms as a Service (PaaS). On such platforms, storage and compute power are adjusted dynamically, and therefore it is i...
124
click to vote
SCN
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Lattice reduction is known to be a very powerful tool in modern cryptanalysis. In the literature, there are many lattice reduction algorithms that have been proposed with...
115
click to vote
SIAMCOMP
2010
14 years 12 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
140
click to vote
TCS
2010
14 years 12 months ago
2010
There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multip...