1655 search results - page 107 / 331 » State, Event, Time and Diagram in System Modeling |
157
click to vote
INFOCOM
2006
IEEE
16 years 6 days ago
2006
IEEE
— This paper presents an analytical model of steady state throughput of the Slow-but-Steady variant of TCP NewReno as a function of loss event rate, average number of segments lo...
161
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Answer set programs with time predicates are useful to model systems whose properties depend on time, like for example gene regulatory networks. A state of such a system at time po...
172
click to vote
ATVA
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
156
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Chaining can reduce the number of iterations required for symbolic state-space generation and model-checking, especially in Petri nets and similar asynchronous systems, but require...
147
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...