Sciweavers

3066 search results - page 201 / 614
» On Facilitating Automated Evaluation
Sort
View
TKDE
1998
135views more  TKDE 1998»
13 years 9 months ago
Automatic Composition Techniques for Video Production
–Video production involves the process of capturing, editing, and composing video segments for delivery to a consumer. A composition must yield a coherent presentation of an even...
Gulrukh Ahanger, Thomas D. C. Little
FDL
2006
IEEE
14 years 3 months ago
MCF: A Metamodeling-based Visual Component Composition Framework
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...
Deepak Mathaikutty, Sandeep K. Shukla
CISIS
2009
IEEE
14 years 4 months ago
Intelligent Context for Personalised M-Learning
Developments in higher education have driven interest in personalised education. Concomitant with these developments are the evolving capabilities of mobile technologies. Context ...
Philip Moore, Bin Hu, Mike Jackson, JiZheng Wan
NTMS
2008
IEEE
14 years 4 months ago
Time and Location Based Services with Access Control
—We propose an access control model that extends RBAC (Role-Based Access Control) to take time and location into account, and use term rewriting systems to specify access control...
Clara Bertolissi, Maribel Fernández
QEST
2008
IEEE
14 years 4 months ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
Husain Aljazzar, Stefan Leue