Search Sciweavers | Sciweavers

16541 search results - page 393 / 3309

» Ontologies and Software Engineering

119

click to vote

IUI
2006
ACM

176views Software Engineering» more IUI 2006»

Introduction to human-robot interaction

16 years 23 days ago

Download www.cs.uml.edu

Jean Scholtz, Holly A. Yanco, Jill L. Drury

claim paper

Read More »

168

Voted

SIGSOFT
2006
ACM

97views Software Engineering» more SIGSOFT 2006»

Work experience versus refactoring to design patterns: a controlled experiment

16 years 23 days ago

Download delivery.acm.org

T. H. Ng, S. C. Cheung, W. K. Chan, Y. T. Yu

claim paper

Read More »

150

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

16 years 13 days ago

Download www.jaist.ac.jp

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...

claim paper

Read More »

143

click to vote

ASWEC
2005
IEEE

81views Software Engineering» more ASWEC 2005»

Consistent Code Generation from UML Models

16 years 13 days ago

Download www.iist.unu.edu

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He

claim paper

Read More »

151

click to vote

CGO
2005
IEEE

101views Software Engineering» more CGO 2005»

Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters

16 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers