Sciweavers

2521 search results - page 199 / 505
» Semantic Component Composition
Sort
View
ISORC
2005
IEEE
14 years 4 months ago
Model-Checking of Component-Based Event-Driven Real-Time Embedded Software
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
Zonghua Gu, Kang G. Shin
SOFSEM
2009
Springer
14 years 3 months ago
Can Component/Service-Based Systems Be Proved Correct?
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...
Christian Attiogbé
IAT
2008
IEEE
13 years 11 months ago
Structured Learning of Component Dependencies in AmI Systems
As information and communication technologies are becoming an integral part of our homes, the demand for AmI systems with assistive functionality is increasing. A great effort has...
Todor Dimitrov, Josef Pauli, Edwin Naroska, Christ...
IJVR
2008
100views more  IJVR 2008»
13 years 10 months ago
User Pluggable Animation Components in Multi-user Virtual Environment
One of the key functions to popularize 3D content services on virtual environments is on the extensibility of the underlying system. In our previous work, we had implemented an ext...
Yu-Lin Chu, Tsai-Yen Li, Cheng-Chia Chen
ICIP
2009
IEEE
13 years 8 months ago
An attention model for extracting components that merit identification
Cognitive systems are trained to recognise perceptually meaningful parts of an image. These regions contain some variation, i.e. local texture, and are roughly convex. We call suc...
Mohammad Jahangiri, Maria Petrou