4350 search results - page 29 / 870 » Case studies for contract-based systems |
AIED
2005
Springer
14 years 3 months ago
2005
Springer
To investigate whether Natural Language feedback improves learning, we developed two different feedback generation engines, that we systematically evaluated in a three way comparis...
CODES
2007
IEEE
14 years 4 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
FGCS
2002
13 years 9 months ago
2002
Traditional distributed file systems do not provide clusters with strict single-system image, and cannot fully meet the cluster applications requirements, such as I/O performance,...
AOSE
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes how the Prometheus Design Tool (PDT) is used to support the Prometheus methodology for designing agent systems. This is done by using an exemplar system that h...
SAINT
2003
IEEE
14 years 3 months ago
2003
IEEE
Before Feature Reduction System (FRS) was developed, software engineers were required to use multiple independent web-based information-reporting systems when conducting multiple ...