283 search results - page 10 / 57 » Putting the Pieces Together |
KBSE
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
ICALT
2009
IEEE
14 years 2 months ago
2009
IEEE
Competency based learning is seen as a means to make the educational system more adapt to cater for , the learners’ professional development and the need to increase their futur...
WSC
2004
13 years 8 months ago
2004
Ontologies represent the next important phase of the World Wide Web, creating a semantic web which links together disparate pieces of information and knowledge. Creating ontologie...
CE
2005
13 years 7 months ago
2005
This paper focuses on technologies that enable meaningful, constructionist interaction in collaborative music environments. In particular, it describes the design and implementati...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...