507 search results - page 77 / 102 » Counterexample-Guided Abstraction Refinement |
DASFAA
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract. In this paper, an efficient strategy for mining top-K non-trivial faulttolerant repeating patterns (FT-RPs in short) with lengths no less than min_len from data sequences...
GLOBECOM
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract- This paper presents a RWA strategy based on the stochastic estimation of the Effective Number of Available Wavelengths (ENAW) along interdomain paths. We propose an appro...
ISPW
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract. Answering “macro-process” research issues – which require understanding how development processes fit or do not fit in different organizational systems and environm...
MSE
2005
IEEE
14 years 3 months ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
ADBIS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Query rewriting method is proposed for the heterogeneous information integration infrastructure formed by the subject mediator environment. Local as View (LAV) approach t...