Sciweavers

15777 search results - page 314 / 3156

» Software Engineering

148

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

16 years 22 days ago

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

151

WER
2005
Springer

98views Software Engineering» more WER 2005»

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

16 years 22 days ago

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

Download wer.inf.puc-rio.br

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

claim paper

Read More »

149

WER
2005
Springer

84views Software Engineering» more WER 2005»

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

16 years 22 days ago

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

Download wer.inf.puc-rio.br

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

claim paper

Read More »

146

WER
2005
Springer

77views Software Engineering» more WER 2005»

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

16 years 22 days ago

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

Download wer.inf.puc-rio.br

Ilca Webster, Vera Ivanova, Luiz Marcio Cysneiros

claim paper

Read More »

150

IUI
2004
ACM

94views Software Engineering» more IUI 2004»

A probabilistic approach to reference resolution in multimodal user interfaces

16 years 21 days ago

A probabilistic approach to reference resolution in multimodal user interfaces

Download www.cse.msu.edu

Joyce Y. Chai, Pengyu Hong, Michelle X. Zhou

claim paper

Read More »

« Prev « First page 314 / 3156 Last » Next »