13987 search results - page 559 / 2798 » The Two Guards Problem |
167
click to vote
IBERAMIA
1998
Springer
15 years 11 months ago
1998
Springer
In this article we analyze the problem of searching the WWW, giving some insight and models to understand its complexity. Then we survey the two main current techniques used to se...
170
click to vote
CAISE
1997
Springer
15 years 11 months ago
1997
Springer
Meta-CASE tools are used to generate CASE tools; KOGGE is such a meta-CASE system. Two of KOGGE's main objectives are adaptability and flexibility which address the growing ne...
337
click to vote
FM
1997
Springer
15 years 11 months ago
1997
Springer
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...
185
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
We consider two versions of the problem of folding a stack of equal width components. In both versions, when a stack is folded, a routing penalty is incurred at the fold. In one v...
172
click to vote
VLDB
1992
ACM
15 years 11 months ago
1992
ACM
New challenges to the database field brought about by the rapidly growing area of wireless personal communication are presented. Preliminary solutions to two of the major problems...