Sciweavers

15155 search results - page 208 / 3031
» System Software
Sort
View
VMCAI
2007
Springer
16 years 1 months ago
Using First-Order Theorem Provers in the Jahob Data Structure Verification System
Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...
EUROMICRO
2005
IEEE
16 years 20 days ago
A Hybrid Component-Based System Development Process
Egon Teiniker, Gernot Schmoelzer, Joerg Faschingba...
121
Voted
IUI
2003
ACM
16 years 9 days ago
Intelligent user interface design for teachable agent systems
Joan M. Davis, Krittaya Leelawong, Kadira Belynne,...
COMPSAC
2002
IEEE
16 years 12 hour ago
MADSS: A Multi-Agent Based Distributed Scripting System
Jim-Min Lin, Zeng-Wei Hong, Guo-Ming Fang