4962 search results - page 40 / 993 » Stochastic Model Checking |
CAV
2007
Springer
14 years 1 months ago
2007
Springer
lued Abstraction for Continuous-Time Markov Chains⋆ Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 RWTH Aachen University1 , TU Munich2 , University of...
SAFECOMP
2001
Springer
14 years 2 days ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...
ICDM
2005
IEEE
14 years 1 months ago
2005
IEEE
The notion of relations is extremely important in mathematics. In this paper, we use relations to describe the embedding problem and propose a novel stochastic relational model fo...
TCSB
2010
13 years 6 months ago
2010
Transcriptional attenuation at E.coli’s tryptophan operon is a prime example of RNA-mediated gene regulation. In this paper, we present a discrete stochastic model for this pheno...
WIA
2007
Springer
14 years 1 months ago
2007
Springer
We study the pattern statistics representing the number of occurrences of a given string in a word of length n generated at random by rational stochastic models, defined by means ...