831 search results - page 101 / 167 » Coalgebraic Correspondence Theory |
WWW
2004
ACM
16 years 16 days ago
2004
ACM
The increasing importance of Unicode for text encoding implies a possible doubling of data storage space and data transmission time, with a corresponding need for data compression...
WWW
2001
ACM
16 years 16 days ago
2001
ACM
XML is poised to take the World-Wide-Web to the next level of innovation. XML data, large or small, with or without associated schema, will be exchanged between increasing number ...
199
click to vote
POPL
2007
ACM
16 years 5 days ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
183
click to vote
POPL
2004
ACM
16 years 5 days ago
2004
ACM
We prove the decidability of the quantifier-free, static fragment of ambient logic, with composition adjunct and iteration, which corresponds to a kind of regular expression langu...
154
click to vote
SIGMOD
2008
ACM
16 years 16 hour ago
2008
ACM
We identify proximity breach as a privacy threat specific to numerical sensitive attributes in anonymized data publication. Such breach occurs when an adversary concludes with hig...