2137 search results - page 173 / 428 » Proving Abstract Non-interference |
141
click to vote
WWW
2007
ACM
16 years 3 months ago
2007
ACM
ma's abstract data model consists of components, which are the structures that eventually define a schema as a whole. XML Schema's XML syntax, on the other hand, is not ...
215
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
219
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. This paper introduces a generalization of the nvalue constraint that bounds the number of distinct values taken by a set of variables.The generalized constraint (called n...
101
click to vote
CICLING
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Automatic Document summarization is proving to be an increasingly important task to overcome the information overload. The primary task of document summarization process ...
117
click to vote
PODC
2009
ACM
16 years 3 months ago
2009
ACM
In 2004, Klavins et al. introduced the use of graph grammars to describe--and to program--systems of self-assembly. It turns out that these graph grammars can be embedded in a gra...