4520 search results - page 550 / 904 » Algebraic Techniques for Timed Systems |
188
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
210
click to vote
ECRTS
2006
IEEE
16 years 27 days ago
2006
IEEE
We study the problem of dynamically scheduling a set of state-feedback control tasks controlling a set of linear plants. We consider an on-line non-preemptive scheduling policy th...
159
click to vote
ICMCS
2006
IEEE
16 years 27 days ago
2006
IEEE
We propose a system for adaptive streaming from multiple servers to a single receiver over separate network paths. Based on incoming packets, the receiver estimates the available ...
184
click to vote
IDEAS
2005
IEEE
16 years 13 days ago
2005
IEEE
Our goal is to support transaction-time functionality that enables the coexistence of ordinary, non-temporal tables with transaction-time tables. In such a system, each transactio...
153
click to vote
WISE
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In recent times, there has been an increased utilization of serverside XSLT systems as part of e-commerce and e-publishing applications. For the high volumes of data in t...