Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

17215 Publications


2014 | Conference Paper | LibreCat-ID: 25149
Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems
F.-J. Rammig, K. Stahl, in: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On, 2014, pp. 334–341.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25144
Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation
F. Mischkalla, W. Müller, in: PATMOS 2014, Palma de Mallorca, Spain, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25156
Security and Privacy Challenges in On-The-Fly Computing
R. Petrlic, A. Jungmann, M.C. Platenius, W. Schäfer, C. Sorge, in: Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25151
An Assisted Single Source Verification Metric Model Code Generation Methodology
C. Kuznik, B.G. Defo, W. Müller, Electronic System Level Synthesis Conference (ESLSyn) (2014).
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25163
Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung
C. Kuznik, B.G. Defo, W. Müller, in: 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) , 2014.
LibreCat
 

2014 | Book | LibreCat-ID: 25168
Dependability of Self-Optimizing Mechatronic Systems
J. Gausemeier, F.-J. Rammig, W. Schäfer, W. Sextro, Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, Heidelberg, Germany, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25170
Self-optimization by Reconfiguration
S. Grösbrink, S. Korf, M. Porrmann, C. Priesterjahn, K. Stahl, in: Design Methodology for Intelligent Technical Systems, Springer-Verlag, Heidelberg, Germany, 2014, pp. 19–22.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25175
System Software
S. Grösbrink, S. Oberthür, K. Stahl, in: Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development, Springer-Verlag, Heidelberg, Germany, 2014, pp. 298–317.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25473
TopFed: TCGA Tailored Federated Query Processing and Linking to LOD
M. Saleem, S. S. Padmanabhuni, A.-C. Ngonga Ngomo, A. Iqbal, J. S. Almeida, S. Decker, H. F. Deus, J. Biomed. Semant. 5 (2014) 47.
LibreCat | DOI
 

2014 | Conference Paper | LibreCat-ID: 25478
Results of the BioASQ Track of the Question Answering Lab at CLEF 2014
G. Balikas, I. Partalas, A.-C. Ngonga Ngomo, A. Krithara, G. Paliouras, in: L. Cappellato, N. Ferro, M. Halvey, W. Kraaij (Eds.), Working Notes for {CLEF} 2014 Conference, Sheffield, UK, September 15-18, 2014, CEUR-WS.org, 2014, pp. 1181–1193.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed