5639 search results - page 300 / 1128 » Timed Abstract Non-interference |
129
Voted
HYBRID
2003
Springer
15 years 9 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...
110
Voted
CDC
2009
IEEE
15 years 8 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...
111
Voted
ICCS
2001
Springer
15 years 8 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...
127
Voted
CPM
2000
Springer
15 years 8 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...
107
Voted
ICMCS
1999
IEEE
15 years 8 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 ...