5639 search results - page 300 / 1128 » Timed Abstract Non-interference |
167
click to vote
HYBRID
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
169
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper presents a novel, computationally feasible procedure for computing optimal switching surfaces, i.e. optimal feedback controllers for switched autonomous nonl...
143
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Rainfall in Kerala State, the southern part of Indian Peninsula in particular is caused by the two monsoons and the two cyclones every year. In general, climate and rainf...
185
click to vote
CPM
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We present a solution to the problem of performing approximate pattern matching on compressed text. The format we choose is the Ziv-Lempel family, speci cally the LZ78 an...
148
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
This (short) paper presents the Clockwise, a mixedmedia file system. The primary goal of the Clockwise is toprovide a storagearchitecturethat supportsthe storage and retrieval of ...