5255 search results - page 435 / 1051 » Formal Methods for Privacy |
189
click to vote
ENTCS
2006
15 years 6 months ago
2006
Graph traversals are in the basis of many distributed algorithms. In this paper, we use graph relabelling systems to encode two basic graph traversals which are the broadcast and ...
185
click to vote
JAIR
2006
15 years 6 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
166
click to vote
TOMS
2008
15 years 6 months ago
2008
We show how to compute an LU factorization of a matrix when the factors of a leading principle submatrix are already known. The approach incorporates pivoting akin to partial pivo...
175
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...
146
click to vote
IFM
2009
Springer
16 years 1 months ago
2009
Springer
Object-orientation supports code reuse and incremental programming. Multiple inheritance increases the power of code reuse, but complicates the binding of method calls and thereby ...