3600 search results - page 260 / 720 » The settling-time reducibility ordering |
147
click to vote
ESA
2004
Springer
16 years 7 hour ago
2004
Springer
We consider a scenario where stops are to be placed along an already existing public transportation network in order to improve its attractiveness for the customers. The core probl...
164
click to vote
EUC
2004
Springer
16 years 7 hour ago
2004
Springer
Abstract. Mobile devices have received much research interest in recent years. Mobility raises new issues such as more dynamic context, limited computing resources, and frequent di...
151
click to vote
EUROCRYPT
2004
Springer
16 years 6 hour ago
2004
Springer
An aggregate signature scheme (recently proposed by Boneh, Gentry, Lynn, and Shacham) is a method for combining n signatures from n different signers on n different messages int...
150
click to vote
FMCAD
2004
Springer
16 years 5 hour ago
2004
Springer
Late changes in silicon design (ECO) is a common although undesired practice. The need for ECO exists even in high-level design flows since bugs may occur in the specifications, ...
182
click to vote
HYBRID
2004
Springer
16 years 1 hour ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...