Sciweavers

2296 search results - page 66 / 460
» The Expressive Power of Synchronizations
Sort
View
CIE
2005
Springer
15 years 9 months ago
An Environment Aware P-System Model of Quorum Sensing
“Quorum Sensing” has been identified as one of the most consequential microbiology discoveries of the last 10 years. Using Quorum Sensing bacterial colonies synchronize gene e...
Germán Terrazas, Natalio Krasnogor, Marian ...
SCN
2008
Springer
105views Communications» more  SCN 2008»
15 years 4 months ago
Expressive Subgroup Signatures
In this work, we propose a new generalization of the notion of group signatures, that allows signers to cover the entire spectrum from complete disclosure to complete anonymity. Pr...
Xavier Boyen, Cécile Delerablée
IANDC
2011
127views more  IANDC 2011»
14 years 11 months ago
On the consistency, expressiveness, and precision of partial modeling formalisms
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
Ou Wei, Arie Gurfinkel, Marsha Chechik
SIGMOD
2004
ACM
114views Database» more  SIGMOD 2004»
16 years 4 months ago
Evaluating lock-based protocols for cooperation on XML documents
We discuss four different core protocols for synchronizing access to and modifications of XML document collections. These core protocols synchronize structure traversals and modif...
Sven Helmer, Carl-Christian Kanne, Guido Moerkotte
ICC
2007
IEEE
118views Communications» more  ICC 2007»
15 years 10 months ago
Analysis of Timing Error Detectors for Orthogonal Space-Time Block Codes
Abstract—We analyze the properties of a class of low complexity timing error detectors for the purpose of timing error tracking in orthogonal space-time block coding receivers. F...
Pawel A. Dmochowski, Peter J. McLane