Search Sciweavers | Sciweavers

19587 search results - page 94 / 3918

» Systems Engineering for software Engineers

122

click to vote

CSSE
2008
IEEE

163views Software Engineering» more CSSE 2008»

A Semantic Web Methodology for Situation-Aware Curative Food Service Recommendation System

16 years 23 days ago

Download www.informatics.org.cn

Chi-Chun Lo, Ding-Yuan Cheng, Chi-Hua Chen

claim paper

Read More »

128

click to vote

VMCAI
2007
Springer

89views Software Engineering» more VMCAI 2007»

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

16 years 12 days ago

Download www.mit.edu

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...

claim paper

Read More »

107

click to vote

IUI
2003
ACM

112views Software Engineering» more IUI 2003»

Intelligent user interface design for teachable agent systems

15 years 11 months ago

Download www.teachableagents.org

Joan M. Davis, Krittaya Leelawong, Kadira Belynne,...

claim paper

Read More »

141

click to vote

COMPSAC
2002
IEEE

112views Software Engineering» more COMPSAC 2002»

MADSS: A Multi-Agent Based Distributed Scripting System

15 years 11 months ago

Download www.cse.dmu.ac.uk

Jim-Min Lin, Zeng-Wei Hong, Guo-Ming Fang

claim paper

Read More »

125

click to vote

SCAM
2002
IEEE

98views Software Engineering» more SCAM 2002»

VADA: A Transformation-Based System for Variable Dependence Analysis

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers