3676 search results - page 302 / 736 » Scalable component abstractions |
182
click to vote
ADHOCNOW
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Service Location Protocol (SLP) is a standard service discovery protocol proposed by IETF. SLP provides a flexible and scalable service discovery framework over IP netwo...
163
click to vote
AIRS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Cross-lingual event tracking from a very large number of information sources (thousands of Web sites, for example) is an open challenge. In this paper we investigate effe...
206
click to vote
ALGOSENSORS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Wireless sensor networks benefit from communication protocols that reduce power requirements by avoiding frame collision. Time Division Media Access methods schedule tra...
197
click to vote
CP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The paper presents a new look-ahead scheme for backtracking search for solving constraint satisfaction problems. This look-ahead scheme computes a heuristic for value ord...
177
click to vote
CSL
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...