2144 search results - page 235 / 429 » Exact Flow Analysis |
140
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
156
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Legacy information systems are difficult to transform into the new or upgraded information systems. Part of the reason is being the incompatibility and the unscalability between t...
261
click to vote
ICDE
2002
IEEE
16 years 7 months ago
2002
IEEE
We present a diff algorithm for XML data. This work is motivated by the support for change control in the context of the Xyleme project that is investigating dynamic warehouses ca...
168
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
Reluctance of data owners to share their possibly confidential or proprietary data with others who own related databases is a serious impediment to conducting a mutually beneficia...
158
click to vote
PKDD
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Rating players in sports competitions based on game results is one example of paired comparison data analysis. Since an exact Bayesian treatment is intractable, several t...