Sciweavers

16541 search results - page 393 / 3309
» Ontologies and Software Engineering
Sort
View
IUI
2006
ACM
16 years 1 months ago
Introduction to human-robot interaction
Jean Scholtz, Holly A. Yanco, Jill L. Drury
160
Voted
APSEC
2005
IEEE
16 years 1 months ago
A Lightweight Integration of Theorem Proving and Model Checking for System Verification
Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...
ASWEC
2005
IEEE
16 years 1 months ago
Consistent Code Generation from UML Models
Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He