1992 search results - page 337 / 399 » On the (limited) power of non-equivocation |
102
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
197
click to vote
ICDT
2009
ACM
16 years 2 months ago
2009
ACM
The need to manage diverse information sources has triggered the rise of very loosely structured data models, known as "dataspace models." Such information management sy...
202
click to vote
ICDT
2009
ACM
16 years 2 months ago
2009
ACM
The inclusion of Regular Expressions (REs) is the kernel of any type-checking algorithm for XML manipulation languages. XML applications would benefit from the extension of REs wi...
117
click to vote
WWW
2006
ACM
16 years 2 months ago
2006
ACM
To maintain interoperability in the Web environment it is necessary to comply with Web standards. Current specifications of HTML and XHTML languages define conformance conditions ...
128
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
We offer the first large-scale analysis of Web traffic based on network flow data. Using data collected on the Internet2 network, we constructed a weighted bipartite clientserver ...