Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
2487
search results - page 7 / 498
»
cases 2009
Sort
relevance
views
votes
recent
update
View
thumb
title
114
click to vote
FM
2009
Springer
104
views
Formal Methods
»
more
FM 2009
»
Sums and Lovers: Case Studies in Security, Compositionality and Refinement
16 years 15 days ago
Download
www.cse.unsw.edu.au
Annabelle McIver, Carroll C. Morgan
claim paper
Read More »
130
click to vote
ICCBR
2009
Springer
119
views
Automated Reasoning
»
more
ICCBR 2009
»
Case Retrieval Reuse Net (CR2N): An Architecture for Reuse of Textual Solutions
16 years 15 days ago
Download
www.comp.rgu.ac.uk
Ibrahim Adeyanju, Nirmalie Wiratunga, Robert Lothi...
claim paper
Read More »
100
click to vote
IWANN
2009
Springer
145
views
Neural Networks
»
more
IWANN 2009
»
BioCASE: Accelerating Software Development of Genome-Wide Filtering Applications
16 years 14 days ago
Download
lsi.ugr.es
Rosana Montes, María M. Abad-Grau
claim paper
Read More »
124
click to vote
MKM
2009
Springer
98
views
Information Technology
»
more
MKM 2009
»
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices
16 years 14 days ago
Download
www.csd.uwo.ca
Alan P. Sexton, Volker Sorge, Stephen M. Watt
claim paper
Read More »
143
click to vote
SERA
2009
Springer
85
views
Software Engineering
»
more
SERA 2009
»
Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study
16 years 14 days ago
Download
users.encs.concordia.ca
Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulai...
claim paper
Read More »
« Prev
« First
page 7 / 498
Last »
Next »
