Sciweavers

5130 search results - page 844 / 1026
» Constraint Query Languages
Sort
View
DOCENG
2006
ACM
15 years 12 months ago
The limsee3 multimedia authoring model
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...
Romain Deltour, Cécile Roisin
APSEC
2005
IEEE
15 years 11 months ago
A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation
The lack of a precise semantics for UML activity diagrams makes the reasoning on models constructed using such diagrams infeasible. However, such diagrams are widely used in domai...
Nicolas Guelfi, Amel Mammar
KBSE
2005
IEEE
15 years 11 months ago
NFRs-aware architectural evolution of component-based software
During software maintenance, some non-functional properties may be lost. This is due to the lack of an explicit definition of their links with the corresponding architectural choi...
Chouki Tibermacine, Régis Fleurquin, Salah ...
PRDC
2005
IEEE
15 years 11 months ago
Development of Dependable Real-Time Systems with Zerberus
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
Christian Buckl, Alois Knoll, Gerhard Schrott
CIVR
2005
Springer
133views Image Analysis» more  CIVR 2005»
15 years 11 months ago
Hot Event Detection and Summarization by Graph Modeling and Matching
This paper proposes a new approach for hot event detection and summarization of news videos. The approach is mainly based on two graph algorithms: optimal matching (OM) and normali...
Yuxin Peng, Chong-Wah Ngo