3218 search results - page 469 / 644 » Timed Extensions for SDL |
177
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Advances in wireless and mobile communication technologies have enabled the development of various RFID-based systems and applications in addition to the extension of the...
164
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
Context delivery is an inevitable issue for ubiquitous computing. Context-aware middlewares perform all the functions of context sensing, inferring and delivery to context-aware ap...
161
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
Case Retrieval Networks (CRNs) facilitate flexible and efficient retrieval in Case-Based Reasoning (CBR) systems. While CRNs scale up well to handle large numbers of cases in the c...
168
click to vote
FOCS
2006
IEEE
15 years 10 months ago
2006
IEEE
We consider random 3CNF formulas with n variables and m clauses. It is well known that when m > cn (for a sufficiently large constant c), most formulas are not satisfiable. How...
178
click to vote
GD
2006
Springer
15 years 10 months ago
2006
Springer
st-orientations (st-numberings) or bipolar orientations of undirected graphs are central to many graph algorithms and applications. Several algorithms have been proposed in the pas...