10061 search results - page 1801 / 2013 » Statistical Models of Conditioning |
142
Voted
INFOCOM
1996
IEEE
15 years 8 months ago
1996
IEEE
: We consider the combined control problem of connection admission, flow rate, and bandwidth allocation (capacity, service-rate) under nonstationary conditions. A fluid flow model ...
149
Voted
HYBRID
1997
Springer
15 years 8 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
117
Voted
IRREGULAR
1997
Springer
15 years 8 months ago
1997
Springer
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
159
Voted
SRDS
1993
IEEE
15 years 8 months ago
1993
IEEE
We propose a simple and practical probabilistic comparison-based model, employing multiple incomplete test concepts, for handling fault location in distributed systems using a Bay...
154
Voted
ICSE
1993
IEEE-ACM
15 years 7 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...