1992 search results - page 337 / 399 » On the (limited) power of non-equivocation |
SIGSOFT
2008
ACM
16 years 18 days 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...
178
click to vote
ICDT
2009
ACM
16 years 17 days 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...
179
click to vote
ICDT
2009
ACM
16 years 17 days 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...
96
Voted
WWW
2006
ACM
16 years 16 days 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 ...
108
click to vote
WWW
2005
ACM
16 years 16 days 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 ...