Sciweavers

3676 search results - page 370 / 736
» Scalable component abstractions
Sort
View
TCSB
2010
15 years 6 months ago
Modelling Self-assembly in BlenX
Abstract. The process through which disordered components spontaneously arrange themselves into patterns is called self-assembly. Molecular self-assembly describes the process by w...
Roberto Larcher, Corrado Priami, Alessandro Romane...
ICWL
2010
Springer
15 years 5 months ago
Cross-Cultural Multimedia Language Learning: Case Study and Analysis
Abstract. This paper describes a pedagogical pattern for cross-cultural language learning and its application in a case study involving learners in Australia and China. The pattern...
Carsten Ullrich, Kerstin Borau, Scott Grant, Danie...
178
Voted
IMCSIT
2010
15 years 5 months ago
Semi-Automatic Extension of Morphological Lexica
Abstract--We present a tool that facilitates the efficient extension of morphological lexica. The tool exploits information from a morphological lexicon, a morphological grammar an...
Tobias Kaufmann, Beat Pfister
ISOLA
2010
Springer
15 years 5 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
GI
2009
Springer
15 years 5 months ago
Automatic Population and Updating of a Semantic Wiki-based Configuration Management Database
Abstract: This paper describes our work on designing and implementing a component for automatically integrating and updating information about configuration items into a Semantic W...
Frank Kleiner, Andreas Abecker, Ning Liu