Search Sciweavers | Sciweavers

6274 search results - page 148 / 1255

» Proofs, Programs, Processes

203

click to vote

CLEIEJ
2010

131views Information Technology» more CLEIEJ 2010»

Mapping Process Capability Models to Support Integrated Software Process Assessments

15 years 3 months ago

Download www.clei.cl

Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...

Marcello Thiry, Alessandra Zoucas, Leornardo Trist...

claim paper

Read More »

124

click to vote

CONCUR
2009
Springer

85views Distributed And Parallel Com...» more CONCUR 2009»

Howe's Method for Calculi with Passivation

16 years 28 days ago

Download sardes.inrialpes.fr

Abstract. We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with

Sergueï Lenglet, Alan Schmitt, Jean-Bernard S...

claim paper

Read More »

130

click to vote

FOAL
2008
ACM

74views Natural Language Processing» more FOAL 2008»

Enforcing behavioral constraints in evolving aspect-oriented programs

15 years 8 months ago

Download www.eecs.ucf.edu

Raffi Khatchadourian, Johan Dovland, Neelam Sounda...

claim paper

Read More »

134

click to vote

EACL
1989
ACL Anthology

69views Natural Language Processing» more EACL 1989»

JPSG Parser on Constraint Logic Programming

15 years 7 months ago

Download acl.ldc.upenn.edu

Hirosi Tuda, Kôiti Hasida, Hidetosi Sirai

claim paper

Read More »

131

click to vote

MODELS
2010
Springer

118views Natural Language Processing» more MODELS 2010»

A Unified Approach to Modeling and Programming

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers