1521 search results - page 264 / 305 » On Sampled Semantics of Timed Systems |
QEST
2005
IEEE
15 years 3 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
109
click to vote
USS
2008
15 years 3 days ago
2008
Antivirus software is one of the most widely used tools for detecting and stopping malicious and unwanted files. However, the long term effectiveness of traditional hostbased anti...
BMCBI
2007
14 years 10 months ago
2007
Background: The progress in the "-omic" sciences has allowed a deeper knowledge on many biological systems with industrial interest. This knowledge is still rarely used ...
117
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: OmniLog™ phenotype microarrays (PMs) have the capability to measure and compare the growth responses of biological samples upon exposure to hundreds of growth condit...
107
click to vote
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
Schema matching identifies elements of two given schemas that correspond to each other. Although there are many algorithms for schema matching, little has been written about build...