1
0
0
News
Netzwerk-Profile
Vojtěch Horky | D3S
d3s.mff.cuni.cz
I. Gerostathopoulos, C. Prehofer, L. Bulej, T. Bureš, V. Horký, P. Tůma: Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results, in
Firmen-Mitarbeiter
Patents - Lehrstuhl für Kommunikationsnetze
www.ce.cit.tum.de
C. Prehofer, W. Kellerer, R. Hirschfeld, H. Berndt, K. Kawamura: Reconfiguration of heterogeneous, programmable platforms by centralized agents. › mitarbeiter › kellerer-wolfgang
Private Homepages
Publications Danny Weyns
homepage.lnu.se
D. Weyns, B. Schmerl, V. Grassi, S. Malek, R. Mirandola, C. Prehofer, J. Wuttke, J. Andersson, H. Giese, and K. Goschka, On Patterns for ...
Bücher
Agile Modellierung mit UML: Codegenerierung, Testfälle, Refactoring -...
books.google.de
C. Prehofer. Feature-Oriented Programming: A Fresh Look at Objects. In ECOOP'97 – Object Oriented Programming, 11th European Conference, Jyv ̈askyl ̈a, ...
Solving Higher-Order Equations: From Logic to Programming - Christian...
books.google.lv
This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and...
Theorem Proving in Higher Order Logics: 15th International Conference...
books.google.lv
This book constitutes the refereed proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics, TPHOLs 2002, held in Hampton,...
Model-Based Engineering of Collaborative Embedded Systems: Extensions...
books.google.de
This Open Access book presents the results of the
Dokumente zum Namen
Formale Techniken in der Software-Entwicklung - SILO of ...
silo.tips
C. Prehofer, Formale Techniken in der Software-Entwicklung. 2. Die Lehrenden. ▫ Christian Prehofer. ▫ LMU München & Fraunhofer ESK. ▫ Christian. › download › formale-techniken-in...
RTA-7
rewriting.loria.fr
M. Hanus and C. Prehofer, Higher-Order Narrowing with Definitional Trees (pages ). G. P. Huet, Design Proof Assistant (Abstract) (page 153). M. Vittek ...
Wissenschaftliche Veröffentlichungen
Workshop „Connected Mobility – Daten, Dienste, Plattformen“
www.thi.de
Ein Kurzbericht des Zentrums für Angewandte Forschung der THI
Veröffentlichungen allgemein
Embedded-Software auf Multicore-Systeme portieren - CORE
core.ac.uk
By A. Schmidt and C. Prehofer Abstract Bei der Einführung von Multicore-Systemen ist es aus Zeit- und Kostengründen meist nicht möglich, die gesamte Software neu zu schreiben.
Trusted IoT Apps v1.pptxwww.tapps.eservices4life.org ›
www.tapps.eservices4life.org
fortiss GmbH. An-Institut Technische Universität München. Towards Trusted Apps for the Internet of Things. Christian Prehofer. IoT & S C. Prehofer
Formale Systembeschreibung von Steuergeräten und...
core.ac.uk
By P. Heinrich, C. Prehofer and F. Langer. Abstract. Diese Arbeit diskutiert Ansatzpunkte und Herausforderungen für netzwerkweite Energieoptimierung von eingebetteten, adaptiven Systemen. Höhere Energieeffizienz wird durch eine energieoptimale Aufgabenv
Sonstiges
C. Prehofer: مفت ڈاؤنلوڈ. ای بک لائبریری۔ Z-Library پر آن لائن کتابوں...
ur.booksc.me
C. Prehofer: مفت ڈاؤنلوڈ. ای بک لائبریری۔ Z-Library پر آن لائن کتابوں کی دکانیں | BookSC. Download books for free. Find books
Practical Web based Smart Spaces. C. Prehofer, J. van Gurp, V....
technodocbox.com
PracticalWeb basedsmartspaces C.Prehofer,J.vanGurp,V.Stirbu,S.Sathish,P.Liimatainen,C.diFlora,S. Tarkoma Abstract Mobile devices are evolving into hubs of ...
Q. Wei, K. Farkas, P. Mendes, C. Prehofer, B. Plattner, N
moam.info
Table 1 explains our classification of context information. It is just a descriptors of the services known to the s...
Feature-oriented programming: A fresh look at objects | BibSonomy
www.bibsonomy.org
The blue social bookmark and publication sharing system.
Formale Techniken in der Software-Entwicklung: Reaktive Systeme - PDF...
docplayer.org
Formle Techniken in der Softwre-Entwicklung: Rektive Systeme Christin Prehofer LMU München uf Bsis von Mterilien von Mrtin Wirsing SS C. Prehofer: ...
Daten Archive - zentrum-digitalisierung.bayern
zentrum-digitalisierung.bayern
Die Technische Universität München (Prof. J. Ott), die Technische Hochschule Ingolstadt (Prof. C. Facchi) und fortiss (Prof. C. Prehofer) führten gemeinsam mit der ZD.B-Themenplattform Vernetzte Mobilität (Dr. M. Cole) und in Kooperation mit dem BayWISS-Verbundkolleg „Mobilität & Verkehr“ (Dr. E. Tscharntke) einen Workshop zum Thema
Automated Online Experiment-Driven Adaptation-Mechanics ...
research.vu.nl
von I Gerostathopoulos · · Zitiert von: 2 — Automated Online Experiment-Driven Adaptation-Mechanics and Cost Aspects. I. Gerostathopoulos, F. Plašil, C. Prehofer, J. Thomas, B. Bischl. › publications
BIG MOBILITY DATA ANALYTICS FOR TRAFFIC ...
casopisi.junis.ni.ac.rs
von N Stojanović · · Zitiert von: 2 — S. Amini, I. Gerostathopoulos and C. Prehofer, "Big data analytics architecture for real-time traffic control," 5th IEEE International Conference on Models ... › view
KIT - TM - article
telematics.tm.kit.edu
Quality-of-Service Architecture supporting Anticipated Handovers in IP-based Mobile Networks; Autor: R. Bless, C. Prehofer, M. Zitterbart, J. Hillebrand
Publications and Publication Statistics on Google Scholar Access...
www.prehofer.de
Publications and Publication Statistics on Google Scholar Access Papers on ResearchGate. Recent Publications on Digitalization • M. Broy, C. Prehofer, H. Engesser, Digitalisierung und die Rolle der Informatik in Anwendung und Forschung, Informatik Spektrum, Springer-Verlag,
Cost-Aware Stage-Based Experimentation - Department of ...
d3s.mff.cuni.cz
Cost-Aware Stage-Based Experimentation: Challenges and Emerging Results. Authors: I. Gerostathopoulos, C. Prehofer, L. Bulej, T. Bureš, V. Horký, P. Tůma. › publications
Delta modeling for variant-rich and evolving manufacturing ...
www.bibsonomy.org
M. Kowal, C. Legat, D. Lorefice, C. Prehofer, I. Schaefer, and B. Vogel-Heuser. MoSEMInA , page ACM, (2014 ). Links and resources. › dblp
TUM - Chair VII - Foundations of Software Reliability and Theoretical...
www7.in.tum.de
J. Kroß, A. Brunnert, C. Prehofer, T. A. Runkler, H. Krcmar: Model-based Performance Evaluation of Large-Scale Smart Metering Architectures, International Workshop on Large-Scale Testing S. Spieckermann, S. Udluft, T. A. Runkler: Data-Efficient Temporal Regression with Multi-Task Recurrent Neural Networks, NIPS Workshop on Transfer and Multi-Task Learning
Behavioral Refinement and Compatibility of Statechart Extensions –...
cyberleninka.org
Abstract We compare the notions of refinement and compatibility for system models and their variants...
by Christian Prehofer, cp at prehofer.de What is feature-oriented...
www.prehofer.de
C. Prehofer, April by Christian Prehofer, cp at prehofer.de. What is feature-oriented programming? We propose a new model for object-oriented programming which nicely generalizes conventional inheritance concepts. Features are services of an object
Trusted Apps for Open Cyber-Physical Systems – Intelligent Systems &...
isca.teicrete.gr
C. Prehofer , G. Kornaros and M. Paolino, “TAPPS – Trusted Apps for open Cyber-Physical Systems“, 6th International Conference on ...
List of Publications - Huber Flores
huberflores.com
[slides] (acceptance rate 26%); [PerCom] X. Su, P. Li, J. Riekki, X. Liu, J. Kiljander, J. Soininen, C. Prehofer, H. Flores, Y. Li: Distribution of Semantic ... › publications
Intelligent Devices in Rural Wireless Networks | ADCAIJ:...
revistas.usal.es
Intelligent Devices in Rural Wireless Networks
Internet of Things Workshops
iot-conference.org
J. van Gurp, S. Tarkoma, C. Prehofer, and C. di Flora; BaToo - Enabling the Rapid Prototyping of Mobile Services to Retail Products R. Adelmann; Coupling ERP ...
Publication Entry
publik.tuwien.ac.at
D. Weyns, B. Schmerl, V. Grassi, S. Malek, R. Mirandola, C. Prehofer, J. Wuttke, J. Andersson, H. Giese, K. Göschka: "On Patterns for Decentralized Control ... › showe...
Verwandte Suchanfragen zu C. Prehofer
Christian Prehofer |
Person "Prehofer" (1) Vorname Name "Prehofer" (25) |
sortiert nach Relevanz / Datum