136 search results - page 8 / 28 » Carnegie Mellon Online |
CAV
2000
Springer
14 years 1 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
This paper studies an active underground economy which specializes in the commoditization of activities such as credit card fraud, identity theft, spamming, phishing, online crede...
CIKM
2004
Springer
14 years 3 months ago
2004
Springer
Hierarchical peer to peer networks with multiple directory services are an important architecture for large-scale file sharing due to their effectiveness and efficiency. Recent ...
TABLEAUX
1998
Springer
14 years 2 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
– We present a lab-based, student-taught robotics course at Carnegie Mellon University entitled Fun With Robots. The course does not require background knowledge of robotics, and...