1249 search results - page 129 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
181
click to vote
INFOCOM
2008
IEEE
16 years 23 days ago
2008
IEEE
—This paper studies window flow control focusing on bridging the gap between microscopic factors such as burstiness in sub-RTT timescales, and observable macroscopic properties ...
172
click to vote
TPHOL
2007
IEEE
16 years 18 days ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
123
click to vote
ICALT
2005
IEEE
15 years 12 months ago
2005
IEEE
The purpose of this paper is to present the current state and future development of the PLATINEA project. This project allows students and teachers to create and to consolidate kn...
188
click to vote
EWRL
2008
15 years 8 months ago
2008
We consider reinforcement learning in the parameterized setup, where the model is known to belong to a parameterized family of Markov Decision Processes (MDPs). We further impose ...
186
click to vote
FPL
2007
Springer
16 years 15 days ago
2007
Springer
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...