360 search results - page 3 / 72 » Constraint Checking with Partial Information |
CSFW
2000
IEEE
13 years 12 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
PAKDD
2009
ACM
14 years 2 days ago
2009
ACM
KES
2010
Springer
13 years 6 months ago
2010
Springer
CP
2005
Springer
14 years 1 months ago
2005
Springer
In the context of previous work on redundant modeling, permutation problems and matrix modeling, we introduce the notion of partial redundant modeling and categorical channeling co...
CP
2003
Springer
14 years 23 days ago
2003
Springer
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...