Zobrazeno 1 - 10
of 84
pro vyhledávání: '"ST 230"'
This technical report publishes the proceedings of the 21th Prague Workshop, which was held from 25th to 26th December 2017. The workshop offers a possibility for young scientists to present their current research work in the fields of computer graph
This technical report publishes the proceedings of the 20th Prague Workshop, which was held from 25th to 26th November 2016 The workshop offers a possibility for young scientists to present their current research work in the fields of computer graphi
This technical report publishes the proceedings of the 19th Prague Workshop, which was held from 27th to 28. November 2015. The workshop offers a possibility for young scientists to present their current research work in the fields of computer graphi
In model-driven development (MDD), domain-specific modeling languages (DSMLs) act as a communication vehicle for aligning the requirements of domain experts with the needs of software engineers. With the rise of the UML as a de facto standard, UML/MO
Externí odkaz:
http://epub.wu.ac.at/4312/5/catalog.pdf
Autor:
Ummels, Michael, Baier, Christel
Publikováno v:
Foundations of Software Science and Computation Structures, Seiten 353-368. Springer. FOSSACS 2013, 18.-20. März 2013, Rom, Italien. ISBN 978 3 642 37074 8. ISSN 0302-9743
Probabilistic model checking mainly concentrates on techniques for reasoning about the probabilities of certain path properties or expected values of certain random variables. For the quantitative system analysis, however, there is also another type
Externí odkaz:
http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-148031
http://www.qucosa.de/fileadmin/data/qucosa/documents/14803/fossacs-2013.pdf
http://www.qucosa.de/fileadmin/data/qucosa/documents/14803/fossacs-2013.pdf
Background: A key idea of feature orientation is to decompose a software product line along the features it provides. Feature decomposition is orthogonal to object-oriented decomposition it crosscuts the underlying package and class structure. It has
Externí odkaz:
http://epub.wu.ac.at/4272/8/report.pdf
Publikováno v:
Wissenschaftliche Zeitschrift der Technischen Universität Dresden 55(2006)3-4, S. 105 - 109
The overall costs of software production are of crucial importance to many companies, as software is involved in a constantly increasing number of business processes and products. On the other hand, the completion of software projects in accordance w
Autor:
Baier, Christel, Engel, Benjamin, Klüppelholz, Sascha, Märcker, Steffen, Tews, Hendrik, Völp, Marcus
Publikováno v:
NASA Formal Methods Lecture Notes in Computer Science, Volume 7871, 2013, pp 307-321, ISSN: 0302-9743
Probabilistic-Write/Copy-Select (PWCS) is a novel synchronization scheme suggested by Nicholas Mc Guire which avoids expensive atomic operations for synchronizing access to shared objects. Instead, PWCS makes inconsistencies detectable and recoverabl
Externí odkaz:
http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-129917
http://www.qucosa.de/fileadmin/data/qucosa/documents/12991/nfm2013.pdf
http://www.qucosa.de/fileadmin/data/qucosa/documents/12991/nfm2013.pdf
Publikováno v:
ACM SIGMETRICS Performance Evaluation Review, Volume 40 Issue 3, December 2012, S. 13-17, ISSN: 0163-5999
Measuring the energy consumption of software components is a major building block for generating models that allow for energy-aware scheduling, accounting and budgeting. Current measurement techniques focus on coarse-grained measurements of applicati
In the process of model-driven development (MDD) of software artifacts, domain-specific modeling languages (DSMLs) are an integral part. They act as the communication vehicle for aligning the requirements of the domain expert with the needs of the so
Externí odkaz:
http://epub.wu.ac.at/3578/1/templates.pdf