1743 search results - page 342 / 349 » Generalized Modal Satisfiability |
146
click to vote
INFOCOM
2010
IEEE
15 years 28 days ago
2010
IEEE
—Efficient operation of wireless networks and switches requires using simple (and in some cases distributed) scheduling algorithms. In general, simple greedy algorithms (known a...
114
Voted
RSA
2008
15 years 28 days ago
2008
ABSTRACT: Caching is widely recognized as an effective mechanism for improving the performance of the World Wide Web. One of the key components in engineering the Web caching syste...
149
click to vote
JUCS
2010
15 years 27 days ago
2010
: Classical classification and clustering based on equivalence relations are very important tools in decision-making. An equivalence relation is usually determined by properties of...
145
click to vote
KBSE
2010
IEEE
15 years 27 days ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
142
click to vote
LOGCOM
2010
15 years 27 days ago
2010
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...