689 search results - page 31 / 138 » Encapsulation theory fundamentals |
STOC
2006
ACM
14 years 8 months ago
2006
ACM
We study the fundamental classification problems 0-Extension and Metric Labeling. A generalization of Multiway Cut, 0-Extension is closely related to partitioning problems in grap...
ICALP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
ITNG
2006
IEEE
14 years 2 months ago
2006
IEEE
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
This paper discusses whether method construction can serve as a core approach to organizational engineering. Based on a discussion of fundamental scientific positions in general a...
APN
2010
Springer
14 years 1 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...