Sciweavers

468 search results - page 40 / 94
» Spreadsheet Engineering: A Research Framework
Sort
View
VSTTE
2005
Springer
15 years 3 months ago
Linking the Meaning of Programs to What the Compiler Can Verify
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
Egon Börger
AUIC
2002
IEEE
15 years 2 months ago
Tangible User Interaction Using Augmented Reality
This paper describes a novel use of augmented reality for the visualisation of virtual objects as part of the move towards pervasive computing. It uses fiducial markers as switche...
Bruce H. Thomas, Hannah Slay, Rudi Vernik
EDBTW
2004
Springer
15 years 1 months ago
Semantic Web Recommender Systems
Research on recommender systems has primarily addressed centralized scenarios and largely ignored open, decentralized systems where remote information distribution prevails. Absenc...
Cai-Nicolas Ziegler
CAISE
2005
Springer
15 years 3 months ago
Organizational Model to Derive Multi-Agent Architecture from Requirements
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...
Lúcia R. D. Bastos, Jaelson Brelaz de Castr...
ERCIMDL
2008
Springer
100views Education» more  ERCIMDL 2008»
14 years 11 months ago
The MultiMatch Prototype: Multilingual/Multimedia Search for Cultural Heritage Objects
MultiMatch is a 30 month targeted research project under the Sixth Framework Programme, supported by the unit for Content, Learning and Cultural Heritage (Digicult) of the Informat...
Giuseppe Amato, Franca Debole, Carol Peters, Pasqu...