Sciweavers

1117 search results - page 186 / 224
» Domain Specific Engineering Environments
Sort
View
ATAL
2008
Springer
15 years 4 months 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
15 years 4 months 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»
15 years 3 months 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, ...
126
Voted
MSV
2007
15 years 3 months 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
104
Voted
IADIS
2003
15 years 3 months 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