2328 search results - page 187 / 466 » Component Frameworks - A Case Study |
148
Voted
AH
2000
Springer
15 years 10 months ago
2000
Springer
: The Adaptive Courseware Environment (ACE) is a WWW-based tutoring framework which combines methods of knowledge representation, instructional planning, and adaptive media generat...
152
click to vote
SBMF
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
129
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Traditionally in industrial system development, the total project is decomposed into phases. The result from one phase, normally a document or a system component, is passed to the...
136
click to vote
PRDC
2008
IEEE
16 years 16 days ago
2008
IEEE
Correctly specifying requirements for composite systems is essential to system safety, particularly in a distributed development environment. Goal-oriented requirements engineerin...
163
Voted
PRESENCE
2010
15 years 28 days ago
2010
This paper focuses on the design of high performance VR applications. These applications usually involve various I/O devices and complex simulations. A parallel architecture or gri...