3931 search results - page 595 / 787 » Separation logic and abstraction |
235
click to vote
ACIVS
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In this paper we present a new implementation of a rainfalling watershed segmentation algorithm. Our previous algorithm was a one-run algorithm. All the steps needed to c...
185
click to vote
CAISE
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Overlay networks are an important kind of P2P infrastructures. The range of applications and requirements is broad. Consequently, our research objective are overlay netwo...
214
click to vote
CC
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
177
click to vote
CPAIOR
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. An optimization problem arising in the design of optical fibre networks is discussed. A network contains client nodes, each installed on one or more SONET rings. A const...
215
click to vote
DCOSS
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Two difficulties in designing data-centric routes [2–5] in wireless sensor networks are the lack of reasonably practical data aggregation models and the high computatio...