Search Sciweavers | Sciweavers

2487 search results - page 7 / 498

» cases 2009

click to vote

FM
2009
Springer

104views Formal Methods» more FM 2009»

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

15 years 4 months ago

Download www.cse.unsw.edu.au

Annabelle McIver, Carroll C. Morgan

claim paper

Read More »

click to vote

ICCBR
2009
Springer

119views Automated Reasoning» more ICCBR 2009»

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

15 years 4 months ago

Download www.comp.rgu.ac.uk

Ibrahim Adeyanju, Nirmalie Wiratunga, Robert Lothi...

claim paper

Read More »

click to vote

IWANN
2009
Springer

145views Neural Networks» more IWANN 2009»

BioCASE: Accelerating Software Development of Genome-Wide Filtering Applications

15 years 4 months ago

Download lsi.ugr.es

Rosana Montes, María M. Abad-Grau

claim paper

Read More »

click to vote

MKM
2009
Springer

98views Information Technology» more MKM 2009»

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices

15 years 4 months ago

Download www.csd.uwo.ca

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

claim paper

Read More »

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 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers