Sciweavers

44 search results - page 3 / 9
» Consistency and Interoperability Checking for Component Inte...
Sort
View
MMM
2005
Springer
143views Multimedia» more  MMM 2005»
15 years 10 months ago
Color Time Petri Net for Interactive Adaptive Multimedia Objects
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...
Ahmed Gomaa, Nabil R. Adam, Vijayalakshmi Atluri
ASM
2010
ASM
15 years 11 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
ICSE
2003
IEEE-ACM
15 years 10 months ago
Multi-view Software Component Modeling for Dependability
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
Roshanak Roshandel, Nenad Medvidovic
154
Voted
CVPR
2001
IEEE
16 years 7 months ago
Component-based Face Detection
We present a component-based, trainable system for detecting frontal and near-frontal views of faces in still gray images. The system consists of a two-level hierarchy of Support ...
Bernd Heisele, Thomas Serre, Massimiliano Pontil, ...
IJOE
2008
122views more  IJOE 2008»
15 years 3 months ago
Mixed Reality Environment for Web-Based Laboratory Interactive Learning
: This paper presents a web-based laboratory for distance learners by incorporating simulation and hardware implementation into web-based e-learning systems. It presents a developm...
Kasim M. Al-Aubidy