Sciweavers

1098 search results - page 109 / 220
» System safety as an emergent property in composite systems
Sort
View
SIGIR
2009
ACM
14 years 3 months ago
CompositeMap: a novel framework for music similarity measure
With the continuing advances in data storage and communication technology, there has been an explosive growth of music information from different application domains. As an effe...
Bingjun Zhang, Jialie Shen, Qiaoliang Xiang, Ye Wa...
SIGSOFT
2009
ACM
14 years 9 months ago
Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
Esteban Pavese, Sebastián Uchitel, Ví...
ICIP
2005
IEEE
14 years 10 months ago
High capacity watermarking using balanced multiwavelet transforms
Abstract-- The emergence of digital multimedia and the proliferation of its use have raised major concerns about the protection of intellectual property. In response to these conce...
Lahouari Ghouti, Ahmed Bouridane, Said Boussakta
WINE
2005
Springer
131views Economy» more  WINE 2005»
14 years 2 months ago
Experiments with an Economic Model of the Worldwide Web
We present a simple model in which the worldwide web (www) is created by the interaction of selfish agents, namely document authors, users, and search engines. We show experimental...
Georgios Kouroupas, Elias Koutsoupias, Christos H....
ASE
2005
102views more  ASE 2005»
13 years 8 months ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler