Sciweavers

9642 search results - page 1579 / 1929
» Semantics in Multimedia Systems
Sort
View
ACII
2007
Springer
15 years 3 months ago
Affective Text Variation and Animation for Dynamic Advertisement
Abstract. The largest part of the advertising market is already electronic. This means there is an opportunity for automatizing some of the production processes, such as producing ...
Carlo Strapparava, Alessandro Valitutti, Oliviero ...
ECOOP
2010
Springer
15 years 3 months ago
Embedding Languages without Breaking Tools
Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts o...
Lukas Renggli, Tudor Gîrba, Oscar Nierstrasz
AGTIVE
2007
Springer
15 years 3 months ago
Verification and Synthesis of OCL Constraints Via Topology Analysis
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
Jörg Bauer, Werner Damm, Tobe Toben, Bernd We...
EUROCAST
2007
Springer
161views Hardware» more  EUROCAST 2007»
15 years 3 months ago
Using Verification Technology to Specify and Detect Malware
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
Andreas Holzer, Johannes Kinder, Helmut Veith
DASFAA
2009
IEEE
149views Database» more  DASFAA 2009»
15 years 3 months ago
Demonstrating Effective Ranked XML Keyword Search with Meaningful Result Display
Abstract. In this paper, we demonstrate an effective ranked XML keyword search with meaningful result display. Our system, named ICRA, recognizes a set of object classes in XML dat...
Zhifeng Bao, Bo Chen, Tok Wang Ling, Jiaheng Lu
« Prev « First page 1579 / 1929 Last » Next »