1521 search results - page 102 / 305 » On Sampled Semantics of Timed Systems |
CICLING
2001
Springer
15 years 2 months ago
2001
Springer
In logic, the spatio-temporal location of a proposition is characterized precisely within a Cartesian system of space and time coordinates. This is suitable for characterizing the ...
IEEEINTERACT
2002
IEEE
15 years 2 months ago
2002
IEEE
Embedded systems require control of many concurrent real-time activities, leading to system designs which feature multiple hardware peripherals with each providing a specific, ded...
176
click to vote
SIGMOD
2008
ACM
15 years 10 months ago
2008
ACM
Computing statistical information on probabilistic data has attracted a lot of attention recently, as the data generated from a wide range of data sources are inherently fuzzy or ...
BMCBI
2008
2008
RPPAML/RIMS: A metadata format and an information management system for reverse phase protein arrays
14 years 10 months ago
Background: Reverse Phase Protein Arrays (RPPA) are convenient assay platforms to investigate the presence of biomarkers in tissue lysates. As with other high-throughput technolog...
102
click to vote
FORMATS
2003
Springer
15 years 3 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...