Search Sciweavers | Sciweavers

198 search results - page 7 / 40

» Reachability on prefix-recognizable graphs

click to vote

SCAM
2008
IEEE

93views Software Engineering» more SCAM 2008»

User-Input Dependence Analysis via Graph Reachability

14 years 4 months ago

Download www.dcs.kcl.ac.uk

Bug-checking tools have been used with some success in recent years to ﬁnd bugs in software. For ﬁnding bugs that can cause security vulnerabilities, bug checking tools requir...

Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes

claim paper

Read More »

click to vote

EDBT
2008
ACM

177views Database» more EDBT 2008»

Fast computing reachability labelings for large graphs with high compression rate

14 years 10 months ago

Download www.se.cuhk.edu.hk

Jiefeng Cheng, Jeffrey Xu Yu, Xuemin Lin, Haixun W...

claim paper

Read More »

click to vote

SOFSEM
2009
Springer

90views Theoretical Computer Science» more SOFSEM 2009»

The Simple Reachability Problem in Switch Graphs

14 years 6 months ago

Download www.sofsem.cz

Klaus Reinhardt

claim paper

Read More »

click to vote

BPM
2007
Springer

348views Business» more BPM 2007»

Combining a Reachability Graph and a Reduction Rule Approach for Verification of EPCs

14 years 4 months ago

Download sunsite.informatik.rwth-aachen.de

Jan Mendling

claim paper

Read More »

click to vote

ICCI
1993

196views Information Technology» more ICCI 1993»

Differential Hashing Functions: Application to Reachability Graph Generation

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers