Sciweavers

91 search results - page 13 / 19
» Weak Composite Diffie-Hellman
Sort
View
ICCBR
2009
Springer
14 years 2 months ago
Maintenance by a Committee of Experts: The MACE Approach to Case-Base Maintenance
Case-base administrators face a choice of many maintenance algorithms. It is well-known that these algorithms have different biases that cause them to perform inconsistently over ...
Lisa Cummins, Derek G. Bridge
JCNS
2008
59views more  JCNS 2008»
13 years 7 months ago
A model for synaptic development regulated by NMDA receptor subunit expression
Activation of NMDA receptors (NMDARs) is highly involved in the potentiation and depression of synaptic transmission. NMDARs comprise NR1 and NR2B subunits in the neonatal forebrai...
Shigeru Kubota, Tatsuo Kitajima
SIGMOD
2009
ACM
139views Database» more  SIGMOD 2009»
14 years 7 months ago
Detecting and resolving unsound workflow views for correct provenance analysis
views abstract groups of tasks in a workflow into high level composite tasks, in order to reuse sub-workflows and facilitate provenance analysis. However, unless a view is careful...
Peng Sun, Ziyang Liu, Susan B. Davidson, Yi Chen
FTRTFT
1998
Springer
13 years 11 months ago
Fair Synchronous Transition Systems and Their Liveness Proofs
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
Amir Pnueli, Natarajan Shankar, Eli Singerman
ICWS
2009
IEEE
14 years 4 months ago
Behavioral Attestation for Business Processes
Service Oriented Architecture (SOA) is an architectural paradigm that enables dynamic composition of heterogeneous, independent, multi-vendor business services. A prerequisite for...
Masoom Alam, Mohammad Nauman, Xinwen Zhang, Tamlee...