Publikationen

Im Folgenden finden Sie einige Informationen zu Publikationen der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie vollständige Listen der Publikationen und Veröffentlichungen auch über die Webseiten der jeweiligen Institute und Professuren.

3542 Einträge

2009

Assertion-Driven Development: Assessing the Quality of Contracts using Meta-MutationsKnauth, T., Fetzer, C. & Felber, P., 2009, S. 182-191, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
A tunable real-world multi-funnel benchmark problem for evolutionary optimization: And why parallel island models might remedy the failure of CMA-ES on itMüller, C. L. & Sbalzarini, I. F., 2009, IJCCI 2009 - International Joint Conference on Computational Intelligence, Proceedings. Dourado, A., Rosa , A. & Madani, K. (Hrsg.). SCITEPRESS - Science and Technology Publications, S. 248-253, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
A uniform framework for modeling and verifying components and connectorsBaier, C., Blechmann, T., Klein, J. & Klüppelholz, S., 2009, Coordination Models and Languages - 11th International Conference, COORDINATION 2009, Proceedings. S. 247-267, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Braindump – Konzept eines visuellen Systems für das Wissensmanagement am Beispiel der Verwaltung von InternetquellenGroh, R., Brade, M. & Lamack, F., 2009Publikation: Beitrag zu Konferenzen > Paper
Challenges in software product line compositionSchirmeier, H. & Spinczyk, O., 2009, Proceedings of the 42nd Annual Hawaii International Conference on System Sciences, HICSS. 4755817Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Comparing Cache Architectures and Coherency Protocols on x86-64 Multicore SMP SystemsHackenberg, D., Molka, D. & Nagel, W. E., 2009, 42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO). ACM Press, S. 413-422, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Constraints Modeling in Agricultural DatabasesPinet, F., Duboisset, M., Demuth, B., Schneider, M., Soulignac, V. & Barnabé, F., 2009Publikation: Beitrag zu Konferenzen > Paper
Data retention and anonymity services: Introducing a new class of realistic adversary modelsBerthold, S., Böhme, R. & Köpsell, S., 2009, The Future of Identity in the Information Society - 4th IFIP WG 9.2, 9.6/11.6, 11.7/ FIDIS International Summer School, Revised Selected Papers. Matyas, V., Svenda, P., Fischer-Hubner, S. & Cvrcek, D. (Hrsg.). Springer Verlag, New York, S. 92-106, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Description LogicsBaader, F., 2009, Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School. Springer, Berlin [u. a.], S. 1-39, 39 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Development of a Universal Model for Description of Intelligent Field Devices through the Life-cycle.Gnauck, K., Gössling, A., Frenzel, R., Wollschlaeger, M. & Schulz, D., 2009, S. 1-8, 8 S.Publikation: Beitrag zu Konferenzen > Paper
DURCH VOLKES HAND – EIN FREIES LAND: Die Ereignisse und Parolen der Friedlichen Revolution der Jahre 1989 und 1990 interaktiv erlebenFranke, I. S. & Kammer, D., 2009Publikation: Beitrag zu Konferenzen > Paper
Field bus abstraction as a means to enable network-independent applications.Theurich, S., Hahn, C., Frenzel, R. & Wollschlaeger, M., 2009, S. 131-138, 8 S.Publikation: Beitrag zu Konferenzen > Paper
Formal verification for components and connectorsBaier, C., Blechmann, T., Klein, J. & Klüppelholz, S., 2009, Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey. S. 82-101, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Jenseits der Suchmaschinen - Konzeption einer iterativen Informationssuche in BlogsFranke, I. S., Taranko, S. & Wessel, H., 2009Publikation: Beitrag zu Konferenzen > Paper
Logik und Logikprogrammierung. Band 1: Grundlagen.Hölldobler, S., 2009, Synchron Wissenschaftsverlag der AutorenPublikation: Buch/Gutachten/Sammelbände > Monographie
Minimizing Latency in Fault-Tolerant Distributed Stream Processing SystemsBrito, A., Fetzer, C. & Felber, P., 2009, S. 173-182, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
Model and Object Verification by Using Dresden OCLDemuth, B., 2009Publikation: Beitrag zu Konferenzen > Paper
Multithreading-Enabled Active Replication for Event Stream Processing OperatorsBrito, A., Fetzer, C. & Felber, P., 2009, S. 22-31, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
Parallelize the Runtime Checks -- Not the ApplicationSüßkraut, M., Weigert, S., Nowack, M., Becker de Brum, D. & Fetzer, C., 2009, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
Parallelizing Software-Implemented Error DetectionSchiffel, U., Schmitt, A., Süßkraut, M., Weigert, S. & Fetzer, C., 2009, S. 215-226, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
Pattern Matching and I/O Replay for POSIX I/O in Parallel ProgramsKluge, M., Knüpfer, A., Müller, M. & Nagel, W. E., 2009, Euro-Par 2009 Parallel Processing. Sips, H., Epema, D. & Lin, H. (Hrsg.). Berlin, Heidelberg: Springer, Berlin [u. a.], S. 45-56, 12 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Requirements Analysis for an Integrated OCL Development EnvironmentChimiak-Opoka, J., Demuth, B., Silingas, D. & Rouquette, N., 2009Publikation: Beitrag zu Konferenzen > Paper
Semantische Integration im Lebenszyklus der AutomationWollschlaeger, M., Braune, A., Runde, S., Topp, U., Mühlhause, M., Drumm, O., Thomalla, C. & 2 weitere, 2009, AUTOMATION 2009 - Der Automatisierungskongress in Deutschland. 2067 Aufl., VDI Verlag, Düsseldorf, S. 167-170, 4 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
Speculation for Parallelizing Runtime ChecksSüßkraut, M., Weigert, S., Schiffel, U., Knauth, T., Nowack, M., Becker de Brum, D. & Fetzer, C., 2009, S. 698-710, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
Tactile paper prototyping with blind subjectsMiao, M., Köhlmann, W., Schiewe, M. & Weber, G., 2009, Haptic and Audio Interaction Design: 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings. Springer, Berlin, Heidelberg, S. 81–90Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband

Publikationen

2009

Zu dieser Seite

Finden!