3793 search results - page 587 / 759 » Expressive Description Logics |
233
click to vote
WAC
2004
Springer
15 years 11 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
153
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
We propose a method for local search of Boolean relations relating variables of a CNF formula. The method is to branch on small subsets of the set of CNF variables and to analyze ...
148
click to vote
SAINT
2003
IEEE
15 years 11 months ago
2003
IEEE
Service discovery problem has recently been drawing much attention from researchers and practitioners. Jini, SLP, and UPnP are among the few emerging service discovery protocols. ...
184
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
173
click to vote
EMO
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Topology design of enterprise networks is a hard combinatorial optimization problem. It has numerous constraints, several objectives, and a very noisy solution space. Bes...