7274 search results - page 1153 / 1455 » Abstractions for network update |
193
Voted
DSOM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. End-to-end automated application design and deployment poses a significant technical challenge. With increasing scale and complexity of IT systems and the manual handling...
201
click to vote
ESAS
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. One of the most frequent operations in modern cryptosystems is a multi-scalar multiplication with two scalars. Common methods to compute it are the Shamir method and the ...
184
click to vote
EUC
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We have presented an optimal algorithm for minimal cost loop problem (MCLP), which consists of finding a set of minimum cost loops rooted at a source node. In the MCLP, t...
236
click to vote
EUC
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. A dramatic increase of event monitoring capabilities by wireless sensors requires new, more sophisticated, event correlation over time and space. This new paradigm implie...
230
click to vote
FMCO
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...