653 search results - page 36 / 131 » Implications of a Data Structure Consistency Checking System |
108
click to vote
KDD
2012
ACM
13 years 2 months ago
2012
ACM
With the wide deployment of smart card automated fare collection (SCAFC) systems, public transit agencies have been benefiting from huge volume of transit data, a kind of sequent...
121
click to vote
SEM
2004
Springer
15 years 5 months ago
2004
Springer
Large-scale information processing applications must rapidly search through high volume streams of structured and unstructured textual data to locate useful information. Content-ba...
110
click to vote
KDD
2008
ACM
16 years 5 days ago
2008
ACM
Social networks are of interest to researchers in part because they are thought to mediate the flow of information in communities and organizations. Here we study the temporal dyn...
SKG
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...