Sciweavers

4870 search results - page 707 / 974
» Challenges of component-based development
Sort
View
EMNLP
2008
15 years 8 months ago
Scalable Language Processing Algorithms for the Masses: A Case Study in Computing Word Co-occurrence Matrices with MapReduce
This paper explores the challenge of scaling up language processing algorithms to increasingly large datasets. While cluster computing has been available in commercial environment...
Jimmy J. Lin
FMOODS
2007
15 years 8 months ago
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
Peter Csaba Ölveczky, Stian Thorvaldsen
VAMOS
2010
Springer
15 years 8 months ago
Supporting Stepwise, Incremental Product Derivation in Product Line Requirements Engineering
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
Reinhard Stoiber, Martin Glinz
HCI
2007
15 years 8 months ago
Immersive Digital Games: The Interfaces for Next-Generation E-Learning?
The intrinsic motivation to play, and therefore to learn, that might be provided by digital educational games teases researchers and developers. However, existing educational games...
Michael D. Kickmeier-Rust, Neil Peirce, Owen Conla...
HCI
2007
15 years 8 months ago
Augmenting Cognition: Reviewing the Symbiotic Relation Between Man and Machine
Abstract. One of the goals of augmented cognition is creation of adaptive human-machine collaboration that continually optimizes performance of the human-machine system. Augmented ...
Tjerk de Greef, Kees van Dongen, Marc Grootjen, Ja...