1003 search results - page 177 / 201 » A modeling approach and reference models for the analysis of... |
CORR
2010
Springer
13 years 2 months ago
2010
Springer
Push message delivery, where a client maintains an "always-on" connection with a server in order to be notified of a (asynchronous) message arrival in real-time, is incre...
CINQ
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we present the application of the inductive database approach to two practical analytical case studies: Web usage mining in Web logs and financial data. As far as co...
FORMATS
2009
Springer
13 years 11 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
TR
2011
13 years 2 months ago
2011
We consider repairable reliability systems with m components, the lifetimes and repair times of which are independent. The l-th component can be either in the failure state 0 or i...
BMCBI
2010
13 years 7 months ago
2010
Background: Sub-cellular structures interact in numerous direct and indirect ways in order to fulfill cellular functions. While direct molecular interactions crucially depend on s...