Sciweavers

1117 search results - page 186 / 224
» Domain Specific Engineering Environments
Sort
View
ATAL
2008
Springer
14 years 23 days ago
Electronic contracting in aircraft aftercare: a case study
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...
Felipe Rech Meneguzzi, Simon Miles, Michael Luck, ...
PLPV
2010
ACM
14 years 21 days ago
Challenge benchmarks for verification of real-time programs
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
Tomás Kalibera, Pavel Parizek, Ghaith Hadda...
LREC
2010
111views Education» more  LREC 2010»
14 years 6 days ago
Resources for Speech Synthesis of Viennese Varieties
This paper describes our work on developing corpora of three varieties of Viennese for unit selection speech synthesis. The synthetic voices for Viennese varieties, implemented wi...
Michael Pucher, Friedrich Neubarth, Volker Strom, ...
MSV
2007
14 years 5 days ago
FMC-QE: A New Approach in Quantitative Modeling
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...
Werner Zorn
IADIS
2003
14 years 4 days ago
Query Formulation in Web Information Search
Query formulation is an essential part of successful information retrieval. The challenges in formulating effective queries are emphasized in web information search, because the w...
Anne Aula