Search Sciweavers | Sciweavers

15727 search results - page 372 / 3146

» Software Engineering - Introduction

132

click to vote

AMAST
2010
Springer

223views Software Engineering» more AMAST 2010»

Program Calculation in Coq

14 years 11 months ago

Download www.univ-orleans.fr

Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Fr&...

claim paper

Read More »

123

click to vote

APSEC
2010
IEEE

192views Software Engineering» more APSEC 2010»

Rule-Based Composition Behaviors in Dynamic Plug-In Systems

14 years 11 months ago

Download ase.jku.at

Markus Jahn, Markus Löberbauer, Reinhard Wolf...

claim paper

Read More »

121

click to vote

CCE
2011

213views Software Engineering» more CCE 2011»

Optimal scheduling of continuous plants with energy constraints

14 years 11 months ago

Download egon.cheme.cmu.edu

Pedro M. Castro, Iiro Harjunkoski, Ignacio E. Gros...

claim paper

Read More »

113

click to vote

CCE
2011

152views Software Engineering» more CCE 2011»

Simulated preparation of supported porous catalyst and evaluation of its reaction-transport properties

14 years 11 months ago

Download www.aidic.it

V. Novák, Petr Kocí, F. Stepá...

claim paper

Read More »

106

click to vote

CSMR
2010
IEEE

140views Software Engineering» more CSMR 2010»

Adopting and Evaluating Service Oriented Architecture in Industry

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers