direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications of KBS

F

Matthias Werner and Louchka Popova-Zeugmann and Jan Richling (2004). A Method to prove Non-reachability in Prioritized Duration Petrinets. Fundamentae Informatica, 61(2004)3,4, 351–368.


Louchka Popova-Zeugmann and Matthias Werner and Jan Richling (2003). Using State Equation to Prove Non-reachability in Timed Petrinets. Fundamentae Informatica, 55(2003)2, 187–202.


Jan Richling and Louchka Popova-Zeugmann and Matthias Werner (2002). Verification of Non-functional Properties of a Composable Architecture with Petrinets. Fundamenta Informaticae, 51, 185–200.


Daniel Graff and Jan Richling and Matthias Werner (2013). Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets. Fundamenta Informaticae. IOS Press, 297-313.

Link to publication

E

Matthias Diener and Eduardo H.M. Cruz and Marco A.Z. Alves and Mohammad S. Alhakeem and Philippe O.A. Navaux and Hans-Ulrich Heiß (2015). Locality and Balance for Communication-Aware Thread Mapping in Multicore Systems. Euro-Par 2015: Parallel Processing, 196-208.


A

Roger Butenuth and Hans-Ulrich Heiss (1996). Cosy - An Operating System for Highly Parallel Computers. ACM Operating Systems Review, Vol. 30, No. 2, 81–91.

Link to publication

7

Nikolaus Jeremic and Gero Mühl and Anselm Busse and Jan Richling (2012). Dataset Management Aware Software Architecture for Storage Systems based on SSDs. 7th IEEE International Conference on Networking, Architecture, and Storage (NAS 2012), 288-292.


Michael C. Jaeger and Lars Engel and Gero Mühl (2005). Semantics in Web Services – The Need for Software Tools. Position Paper on the W3C workshop on Frameworks for Semantics in Web Services

Link to publication

Michael C. Jaeger and Gero Mühl and Sebastian Golze (2005). QoS-aware Composition of Web Services: A Look at Selection Algorithms. IEEE International Conference on Web Services (ICWS'05). IEEE Press, 807–808.

Link to publication

Gero Mühl and Michael A. Jaeger and Klaus Herrmann and Torben Weis and Ludger Fiege and Andreas Ulbrich (2005). Self-Stabilizing Publish/Subscribe Systems: Algorithms and Evaluation. Proceedings of the 11th European Conference on Parallel Processing (Euro-Par 2005). Springer-Verlag, 664–674.

Link to publication

Andreas Ulbrich and Torben Weis and Kurt Geihs (2005). A Modeling Language for Applications in Pervasive Computing Environments. Proceedings of 2nd International Workshop on Model/based Methodologies for Pervasive and Embedded Software


Lars-Olof Burchard and Hans-Ulrich Heiss and Barry Linnert and Jörg Schneider and Odej Kao and Matthias Hovestadt and Felix Heine and Axel Keller (2006). The Virtual Resource Manager: Local Autonomy versus QoS Guarantees for Grid Applications. Future Generation Grids

Link to publication Link to original publication

Torben Weis (2004). Model-driven Development of QoS-enabled distributed Applications. Technische Universtität Berlin

Link to publication

Andreas Ulbrich and Torben Weis and Gero Mühl and Kurt Geihs (2005). Application Development for Actuator- and Sensor-Networks. 4. GI/ITG KuVS Fachgespräch Drahtlose Sensornetze


Klaus Herrmann and Gero Mühl and Michael A. Jaeger (2005). A Self-Organizing Lookup Service for Dynamic Ambient Services. 25th International Conference on Distributed Computing Systems (ICDCS 2005). IEEE Press, 707–716.

Link to publication

Michael C. Jaeger and Gregor Rojec-Goldmann and Gero Mühl (2005). QoS Aggregation in Web Service Compositions. 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE-05). IEEE Press, 181–185.

Link to publication

Sebastian Golze and Gero Mühl and Torben Weis (2005). How to Configure Proof-of-Work Functions to Stop Spam. Sicherheit 2005. Köllen Verlag, 165–174.

Link to publication

Sebastian Golze and Gero Mühl and Torben Weis and Michael C. Jaeger (2005). Lastregelung von Web Services mittels Proof-of-Work Funktionen. Kommunikation in verteilten Systemen (KiVS 2005). Köllen Verlag, 57–64.

Link to publication

Michael C. Jaeger and Gregor Rojec-Goldmann and Gero Mühl and Christoph Liebetruth and Kurt Geihs (2005). Ranked Matching for Service Descriptions using OWL-S. Kommunikation in verteilten Systemen (KiVS 2005). Springer, 91–102.

Link to publication

Klaus Herrmann and Michael A. Jaeger (2004). PayFlux – Secure Electronic Payment in Mobile Ad hoc Networks. Proceedings of the Sixth International Conference on Information and Communications Security (ICICS'04). Springer, 66–78.

Link to publication

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions