Search Sciweavers | Sciweavers

15155 search results - page 208 / 3031

» System Software

126

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 26 days ago

Download www.informatics.org.cn

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

claim paper

Read More »

130

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 15 days ago

Download www.mit.edu

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

claim paper

Read More »

150

click to vote

EUROMICRO
2005
IEEE

105views Software Engineering» more EUROMICRO 2005»

A Hybrid Component-Based System Development Process

16 years 18 hour ago

Download www.iti.tu-graz.ac.at

Egon Teiniker, Gernot Schmoelzer, Joerg Faschingba...

claim paper

Read More »

109

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 »

145

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers