2989 search results - page 424 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
DSN
2009
IEEE
15 years 1 months ago
2009
IEEE
As more and more multi-tier services are developed from commercial components or heterogeneous middleware without the source code available, both developers and administrators nee...
113
click to vote
COMPGEOM
2008
ACM
14 years 12 months ago
2008
ACM
We introduce a hierarchical partitioning scheme of the Euclidean plane, called circular partitions. Such a partition consists of a hierarchy of convex polygons, each having small ...
CP
2011
Springer
13 years 10 months ago
2011
Springer
Algorithm portfolios aim to increase the robustness of our ability to solve problems efficiently. While recently proposed algorithm selection methods come ever closer to identifyin...
76
Voted
ISCC
2002
IEEE
15 years 3 months ago
2002
IEEE
In this paper, we study the problems of resource and performance management in channelized wireless networks. For identifying research issues systematically, we propose a research...
111
Voted
SIAMCO
2010
14 years 4 months ago
2010
Abstract. In the paper compressible, stationary Navier-Stokes (N-S) equations are considered. The model is well-posed, there exist weak solutions in bounded domains, subject to inh...