12950 search results - page 451 / 2590 » On Optimal Timed Strategies |
183
click to vote
DEXAW
2002
IEEE
15 years 12 months ago
2002
IEEE
In this paper, we study the data dissemination problem in time-constrained mobile computing systems (TCMCS) in which maximizing data currency (minimizing staleness) and meeting tr...
191
click to vote
HYBRID
2009
Springer
15 years 11 months ago
2009
Springer
This paper studies the exponential stabilization problem for discrete-time switched linear systems based on a control-Lyapunov function approach. A number of versions of converse c...
205
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
209
click to vote
RTAS
1998
IEEE
15 years 11 months ago
1998
IEEE
There is increasing demand to extend Object Request Broker (ORB) middleware to support distributed applications with stringent real-time requirements. However, conventional ORB im...
164
click to vote
EDM
2010
15 years 8 months ago
2010
While many aspects of tutoring have been identified and studied, off topic conversation has been largely ignored. In this paper, off topic conversation during 50 hours of one-to-on...