827 search results - page 131 / 166 » Patterns for Timed Property Specifications |
124
click to vote
JAPLL
2008
15 years 1 months ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
130
click to vote
JCP
2006
15 years 1 months ago
2006
We propose and evaluate a novel framework for enforcing global coordination and control policies over message passing software components in enterprise computing environments. This...
111
click to vote
TCBB
2008
15 years 1 months ago
2008
The representation of a genome by oligonucleotide probes is a prerequisite for the analysis of many of its basic properties, such as transcription factor binding sites, chromosomal...
TROB
2008
15 years 1 months ago
2008
Abstract-- A distributed swarm aggregation algorithm is developed for a team of multiple kinematic agents. Specifically, each agent is assigned with a control law which is the sum ...
NAR
1998
15 years 1 months ago
1998
The stereochemical and dynamic properties of the C2′ hydroxyl group in several DNA·RNA hybrids have been measured by NMR and compared with the homologous RNA duplex. The C2′-...