Search Sciweavers | Sciweavers

15777 search results - page 301 / 3156

» The Reformulation-Optimization Software Engine

156

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

16 years 6 days ago

Download ropas.snu.ac.kr

Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...

claim paper

Read More »

136

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

16 years 6 days ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

145

click to vote

WER
2005
Springer

98views Software Engineering» more WER 2005»

Uso de Agentes no Processo de Requisitos em Ambientes Distribuídos de Desenvolvimento

16 years 6 days ago

Download wer.inf.puc-rio.br

Miriam Sayão, Julio Cesar Sampaio do Prado ...

claim paper

Read More »

142

click to vote

WER
2005
Springer

84views Software Engineering» more WER 2005»

A Survey of Good Practices and Misuses for Modelling with i* Framework

16 years 6 days ago

Download wer.inf.puc-rio.br

Ilca Webster, Juliana Amaral, Luiz Márcio C...

claim paper

Read More »

134

click to vote

WER
2005
Springer

77views Software Engineering» more WER 2005»

Reusable Knowledge for Achieving Privacy: A Canadian Health Information Technologies Perspective

16 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers