Search Sciweavers | Sciweavers

2487 search results - page 7 / 498

» cases 2009

Voted

FM
2009
Springer

104views Formal Methods» more FM 2009»

Sums and Lovers: Case Studies in Security, Compositionality and Refinement

15 years 10 months ago

Download www.cse.unsw.edu.au

Annabelle McIver, Carroll C. Morgan

claim paper

Read More »

105

Voted

ICCBR
2009
Springer

119views Automated Reasoning» more ICCBR 2009»

Case Retrieval Reuse Net (CR2N): An Architecture for Reuse of Textual Solutions

15 years 10 months ago

Download www.comp.rgu.ac.uk

Ibrahim Adeyanju, Nirmalie Wiratunga, Robert Lothi...

claim paper

Read More »

Voted

IWANN
2009
Springer

145views Neural Networks» more IWANN 2009»

BioCASE: Accelerating Software Development of Genome-Wide Filtering Applications

15 years 10 months ago

Download lsi.ugr.es

Rosana Montes, María M. Abad-Grau

claim paper

Read More »

101

Voted

MKM
2009
Springer

98views Information Technology» more MKM 2009»

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

15 years 10 months ago

Download www.csd.uwo.ca

Alan P. Sexton, Volker Sorge, Stephen M. Watt

claim paper

Read More »

112

click to vote

SERA
2009
Springer

85views Software Engineering» more SERA 2009»

Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers