Sciweavers

7504 search results - page 235 / 1501
» Computing with Action Potentials
Sort
View
HYBRID
2007
Springer
14 years 2 months ago
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
Alessandro Abate, Saurabh Amin, Maria Prandini, Jo...
TCC
2007
Springer
112views Cryptology» more  TCC 2007»
14 years 2 months ago
On the Necessity of Rewinding in Secure Multiparty Computation
We investigate whether security of multiparty computation in the information-theoretic setting implies their security under concurrent composition. We show that security in the sta...
Michael Backes, Jörn Müller-Quade, Domin...
HICSS
2002
IEEE
123views Biometrics» more  HICSS 2002»
14 years 1 months ago
On the Performance of a Survivability Architecture for Networked Computing Systems
This research focuses on the performance and timing behavior of a two level survivability architecture. The lower level of the architecture involves attack analysis based on kernel...
William S. Harrison, Axel W. Krings, Nadine Hanebu...
ICCS
2009
Springer
14 years 28 days ago
Interactive Control over a Programmable Computer Network Using a Multi-touch Surface
This article introduces the Interactive Network concept and describes the design and implementation of the first prototype. In an Interactive Network humans become an integral par...
Rudolf J. Strijkers, Laurence Muller, Mihai Criste...
WEA
2009
Springer
165views Algorithms» more  WEA 2009»
14 years 25 days ago
On Computational Models for Flash Memory Devices
Flash memory-based solid-state disks are fast becoming the dominant form of end-user storage devices, partly even replacing the traditional hard-disks. Existing two-level memory hi...
Deepak Ajwani, Andreas Beckmann, Riko Jacob, Ulric...