4245 search results - page 12 / 849 » Input Modeling |
EUROCAST
2007
Springer
14 years 1 months ago
2007
Springer
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— Systems biologists are often faced with competing models for a given experimental system. Unfortunately, performing experiments can be time-consuming and expensive. Therefore, ...
ICONS
2009
IEEE
14 years 4 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
DELTA
2008
IEEE
14 years 4 months ago
2008
IEEE
Analytical compact form models for the signal transient and crosstalk noise of two-coupled RLC lines are developed. Capacitive and inductive coupling effects are investigated and ...
WSC
1998
13 years 11 months ago
1998
In Gross and Juttijudata (1997) a single node, G/G/1 queue was investigated as to the sensitivity of output performance measures, such as the mean queue wait, to the shape of the ...