887 search results - page 14 / 178 » A Time for Choosing |
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
INFOCOM
1996
IEEE
13 years 11 months ago
1996
IEEE
Rate based congestion management for computer communication networks has been the focus of considerable research recently. Dierent variants to the end-to-end rate based algorithm ...
SDM
2007
SIAM
13 years 9 months ago
2007
SIAM
Finding discords in time series database is an important problem in a great variety of applications, such as space shuttle telemetry, mechanical industry, biomedicine, and financ...
ICDE
2007
IEEE
14 years 9 months ago
2007
IEEE
Traditional DBMSs decouple statistics collection and query optimization both in space and time. Decoupling in time may lead to outdated statistics. Decoupling in space may cause s...
EMSOFT
2001
Springer
14 years 4 days ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...