2703 search results - page 122 / 541 » Working Class Hero |
104
click to vote
INFOCOM
1996
IEEE
15 years 7 months ago
1996
IEEE
We present an end-to-end delay guarantee theorem for a class of guaranteed-deadline (GD) servers. The theorem can be instantiated to obtain end-to-end delay bounds for a variety of...
199
click to vote
B
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
129
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Predictive state representations (PSRs) are models that represent the state of a dynamical system as a set of predictions about future events. The existing work with PSRs focuses ...
201
click to vote
FMOODS
2008
15 years 4 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
108
click to vote
AAAI
1998
15 years 4 months ago
1998
In design, multiple disparate goals must be addressed simultaneously. It is the thesis of this work that problems in two-dimensional layout design can be solved by collaboration a...