553 search results - page 94 / 111 » Learning Meets Verification |
ITNG
2010
IEEE
14 years 2 months ago
2010
IEEE
—There are several institutions that accredit educational programs and require documentation to ensure that an educational program regularly meets certain criteria. This paper fo...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
Large multi-platform, multi-million lines of codes software systems evolve to cope with new platform or to meet user ever changing needs. While there has been several studies focu...
COOPIS
2000
IEEE
14 years 2 months ago
2000
IEEE
Workflow management systems (WFMS) are a cornerstone of mission-criticial, possibly cross-organizational business processes. For largescale applications both their performance and ...
WISE
2000
Springer
14 years 2 months ago
2000
Springer
The use of multimedia in courseware and web-based learning is a current topic. This is influenced by the wide availability and the permanently improving technical possibilities. T...
WACC
1999
ACM
14 years 2 months ago
1999
ACM
Today, organizations deal with an ever-increasing number of documents that have to be archived because they are either related to their core business (e.g., product designs) or ne...