Sciweavers

2453 search results - page 192 / 491
» Design Knowledge Collection by Modeling
Sort
View
ASWC
2006
Springer
15 years 10 months ago
Next Generation Semantic Web Applications
Watson is a gateway to the Semantic Web: it collects, analyzes and gives access to ontologies and semantic data available online. Its objective is to support the development of ne...
Enrico Motta, Marta Sabou
SIGUCCS
2004
ACM
16 years 16 hour ago
Research based methods for using powerpoint, animation, and video for instruction
This paper is a literature review on practical techniques and guidelines using PowerPoint, animation, and video effectively for instruction. The motivation to collect research bas...
Trevor Murphy
ISAS
2004
Springer
15 years 12 months ago
On Enhancing the Robustness of Commercial Operating Systems
A ubiquitous computing system derives its operations from the collective interactions of its constituent components. Consequently, a robust ubiquitous system entails that the discr...
Andréas Johansson, Adina Sarbu, Arshad Jhum...
ICEIS
2003
IEEE
15 years 12 months ago
An XML View of the "World"
Abstract: The paper presents ”Any Input XML Output” (AIXO), a general and flexible software architecture for wrappers. The architecture has been designed to present data sourc...
Ezio Bartocci, Emanuela Merelli, Leonardo Mariani
AMAST
2008
Springer
15 years 8 months ago
Verification of Java Programs with Generics
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
Kurt Stenzel, Holger Grandy, Wolfgang Reif