Sciweavers

1210 search results - page 41 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
EUROCRYPT
2010
Springer
15 years 8 months ago
Protecting Circuits from Leakage: the Computationally-Bounded and Noisy Cases
Abstract. Physical computational devices leak side-channel information that may, and often does, reveal secret internal states. We present a general transformation that compiles an...
Sebastian Faust, Tal Rabin, Leonid Reyzin, Eran Tr...
124
Voted
BVAI
2007
Springer
15 years 10 months ago
Bounds of the Ability to Destroy Precise Coincidences by Spike Dithering
Correlation analysis of neuronal spiking activity relies on the availability of distributions for assessing significance. At present, these distributions can only be created by su...
Antonio Pazienti, Markus Diesmann, Sonja Grün
ECOOPW
1998
Springer
15 years 8 months ago
Mapping Business Processes to Software Design Artifacts
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...
Pavel Hruby
CACM
2010
140views more  CACM 2010»
15 years 1 months ago
FastTrack: efficient and precise dynamic race detection
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well ...
Cormac Flanagan, Stephen N. Freund
NECO
2006
103views more  NECO 2006»
15 years 4 months ago
Optimal Spike-Timing-Dependent Plasticity for Precise Action Potential Firing in Supervised Learning
In timing-based neural codes, neurons have to emit action potentials at precise moments in time. We use a supervised learning paradigm to derive a synaptic update rule that optimi...
Jean-Pascal Pfister, Taro Toyoizumi, David Barber,...