6308 search results - page 465 / 1262 » Modeling Urgency in Timed Systems |
194
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— In a haptic teleoperation system, the incorporation of knowledge about the remote environment in the controller design can improve stability and performance. Model-mediated tel...
146
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
This paper develops analytic models that characterize the behavior of on-demand stored media content delivery using BitTorrent-like protocols. The models capture the effects of di...
185
click to vote
WSC
1997
15 years 8 months ago
1997
Creating comprehensive simulation models can be expensive and time consuming. This paper discusses our efforts to develop a general methodology that will allow users to quickly an...
195
click to vote
IJFCS
2006
15 years 6 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
168
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timew...