3931 search results - page 459 / 787 » Separation logic and abstraction |
171
click to vote
ACISP
2005
Springer
16 years 19 days ago
2005
Springer
Abstract The Host Identity Protocol (HIP) is an Internet security and multiaddressing mechanism specified by the IETF. HIP introduces a new layer between the transport and network ...
192
click to vote
CP
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
200
click to vote
EMMCVPR
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We propose a new model for image decomposition which separates an image into a cartoon, consisting only of geometric objects, and an oscillatory component, consisting of ...
204
click to vote
ESA
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. We provide new tools, such as k-troikas and good subtreerepresentations, that allow us to give fast and simple algorithms computing branchwidth. We show that a graph G ha...
174
click to vote
ESORICS
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...