Sciweavers

2453 search results - page 192 / 491
» Design Knowledge Collection by Modeling
Sort
View
205
Voted
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
188
Voted
SIGUCCS
2004
ACM
16 years 12 days 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
176
Voted
ISAS
2004
Springer
16 years 10 days 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...
171
Voted
ICEIS
2003
IEEE
16 years 8 days 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 9 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