Search Sciweavers | Sciweavers

1538 search results - page 22 / 308

» Programming with Patterns

click to vote

TLDI
2009
ACM

140views Formal Methods» more TLDI 2009»

Design patterns in separation logic

14 years 6 months ago

Download www.cs.cmu.edu

Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal veriﬁcation, and the com...

Neelakantan R. Krishnaswami, Jonathan Aldrich, Lar...

claim paper

Read More »

click to vote

JUCS
2006

100views more JUCS 2006»

Expressing Workflow Patterns for Web Services: The Case of PEWS

13 years 9 months ago

Download www.jucs.org

: PEWS is a language for the implementation of web service interfaces. PEWS programs can be used for the description of both individual and composed web services. Individual web se...

Martin A. Musicante, Edinardo Potrich

claim paper

Read More »

click to vote

IPPS
2005
IEEE

150views Distributed And Parallel Com...» more IPPS 2005»

A Case Study on Pattern-Based Systems for High Performance Computational Biology

14 years 3 months ago

Download www.hicomb.org

Computational biology research is now faced with the burgeoning number of genome data. The rigorous postprocessing of this data requires an increased role for high performance com...

Weiguo Liu, Bertil Schmidt

claim paper

Read More »

click to vote

ER
2009
Springer

112views Database» more ER 2009»

A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models

14 years 4 months ago

Download www.inf.ufrgs.br

Jörg Becker, Patrick Delfmann, Sebastian Herw...

claim paper

Read More »