Sciweavers

5904 search results - page 476 / 1181
» Requirements for a Composition Language
Sort
View
DATE
2007
IEEE
126views Hardware» more  DATE 2007»
16 years 1 months ago
The ARTEMIS cross-domain architecture for embedded systems
platform and a suite of abstract components with which new developments in different application domains can be engineered with minimal effort [1]p.16. Generic platforms, or refere...
Hermann Kopetz
AIME
2007
Springer
16 years 1 months ago
Using Semantic Web Technologies for Knowledge-Driven Querying of Biomedical Data
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
Martin J. O'Connor, Ravi Shankar, Samson W. Tu, Cs...
VL
2009
IEEE
142views Visual Languages» more  VL 2009»
16 years 1 months ago
Using a degree of interest model to facilitate ontology navigation
Understanding and maintaining the structure of large ontologies is a cognitively demanding task. Visualizations are commonly used as a cognitive aid for presenting large ontologie...
Tricia d'Entremont, Margaret-Anne Storey
UM
2009
Springer
16 years 1 months ago
What Do Academic Users Really Want from an Adaptive Learning System?
When developing an Adaptive Learning System (ALS), users are generally consulted (if at all) towards the end of the development cycle. This can limit users’ feedback to the chara...
Martin Harrigan, Milos Kravcik, Christina Steiner,...
HASE
2008
IEEE
16 years 1 months ago
A Grammar-Based Reverse Engineering Framework for Behavior Verification
A high assurance system requires both functional and nonfunctional correctness before the system is put into operation. To examine whether a system’s actual performance complies...
Chunying Zhao, Kang Zhang