Sciweavers

3680 search results - page 20 / 736

» cases 2010

61

ICST
2010
IEEE

96views Software Engineering» more ICST 2010»

Verified Firewall Policy Transformations for Test Case Generation

14 years 8 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 »

64

IPPS
2010
IEEE

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

Massive streaming data analytics: A case study with clustering coefficients

14 years 8 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 »

68

SIGSOFT
2010
ACM

124views Software Engineering» more SIGSOFT 2010»

The case for software evolution

14 years 4 months ago

The case for software evolution

Download www.cs.virginia.edu

Claire Le Goues, Stephanie Forrest, Westley Weimer

claim paper

Read More »

48

ENTCS
2006

131views more ENTCS 2006»

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

14 years 10 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 »

68

CHI
2010
ACM

182views Human Computer Interaction» more CHI 2010»

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

15 years 4 months 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 »