653 search results - page 113 / 131 » Implications of a Data Structure Consistency Checking System |
114
click to vote
PVLDB
2008
14 years 11 months ago
2008
The World-Wide Web consists of a huge number of unstructured documents, but it also contains structured data in the form of HTML tables. We extracted 14.1 billion HTML tables from...
103
click to vote
RV
2010
Springer
14 years 10 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
IFIPTCS
2000
15 years 3 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
133
click to vote
WWW
2009
ACM
16 years 11 days ago
2009
ACM
Users of social networking services can connect with each other by forming communities for online interaction. Yet as the number of communities hosted by such websites grows over ...
PODC
2009
ACM
15 years 6 months ago
2009
ACM
We study communication complexity of consensus in synchronous message-passing systems with processes prone to crashes. The goal in the consensus problem is to have all the nonfaul...