Sciweavers

3680 search results - page 20 / 736

» cases 2010

116

ICST
2010
IEEE

96views Software Engineering» more ICST 2010»

Verified Firewall Policy Transformations for Test Case Generation

15 years 3 months ago

Verified Firewall Policy Transformations for Test Case Generation

Download www.infsec.ethz.ch

Achim D. Brucker, Lukas Brügger, Paul Kearney...

claim paper

Read More »

125

Voted

IPPS
2010
IEEE

145views Distributed And Parallel Com...» more IPPS 2010»

Massive streaming data analytics: A case study with clustering coefficients

15 years 3 months ago

Massive streaming data analytics: A case study with clustering coefficients

Download www.ipdps.org

David Ediger, Karl Jiang, Jason Riedy, David A. Ba...

claim paper

Read More »

147

Voted

SIGSOFT
2010
ACM

124views Software Engineering» more SIGSOFT 2010»

The case for software evolution

15 years 18 days ago

The case for software evolution

Download www.cs.virginia.edu

Claire Le Goues, Stephanie Forrest, Westley Weimer

claim paper

Read More »

112

ENTCS
2006

131views more ENTCS 2006»

Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite

15 years 5 months ago

Cooperating Theorem Provers: A Case Study Combining HOL-Light and CVC Lite

Download www.cs.cmu.edu

This paper is a case study in combining theorem provers. We define a derived rule in HOL-Light, CVC PROVE, which calls CVC Lite and translates the resulting proof object back to HO...

Sean McLaughlin, Clark Barrett, Yeting Ge

claim paper

Read More »

118

CHI
2010
ACM

182views Human Computer Interaction» more CHI 2010»

Case study: designing an advanced visualization system for geological core drilling expeditions

16 years 22 days ago

Case study: designing an advanced visualization system for geological core drilling expeditions

Download www.evl.uic.edu

Yu-Chung Chen, Sangyoon Lee, Hyejung Hur, Jason Le...

claim paper

Read More »

« Prev « First page 20 / 736 Last » Next »