Sciweavers

2296 search results - page 324 / 460
» The Expressive Power of Synchronizations
Sort
View
CCS
2006
ACM
15 years 8 months ago
Safety analysis of usage control authorization models
The usage control (UCON) model was introduced as a unified approach to capture a number of extensions for traditional access control models. While the policy specification flexibi...
Xinwen Zhang, Ravi S. Sandhu, Francesco Parisi-Pre...
RTA
1995
Springer
15 years 8 months ago
Prototyping Completion with Constraints Using Computational Systems
We use computational systems to express a completion with constraints procedure that gives priority to simplifications. Computational systems are rewrite theories enriched by stra...
Hélène Kirchner, Pierre-Etienne More...
BMCBI
2010
93views more  BMCBI 2010»
15 years 4 months ago
Hybridization thermodynamics of NimbleGen Microarrays
Background: While microarrays are the predominant method for gene expression profiling, probe signal variation is still an area of active research. Probe signal is sequence depend...
Ulrike Mückstein, Germán G. Leparc, Al...
BMCBI
2008
112views more  BMCBI 2008»
15 years 4 months ago
Normalization for triple-target microarray experiments
Background: Most microarray studies are made using labelling with one or two dyes which allows the hybridization of one or two samples on the same slide. In such experiments, the ...
Marie-Laure Martin-Magniette, Julie Aubert, Avner ...
BMCBI
2007
147views more  BMCBI 2007»
15 years 4 months ago
Modeling biochemical transformation processes and information processing with Narrator
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
Johannes J. Mandel, Hendrik Fuß, Niall M. Pa...