Michael Altenhofen

According to our database, Michael Altenhofen authored at least 17 papers between 1993 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study.

Michael Altenhofen, Achim D. Brucker

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

Bârun: A Scripting Language for CoreASM.

Michael Altenhofen, Roozbeh Farahbod

Proceedings of the Abstract State Machines, 2010

2008

Ontologies for Scalable Services-Based Ubiquitous Computing.

Daniel Oberle, Christof Bornhövd, Michael Altenhofen

Proceedings of the Handbook of Research on Ubiquitous Computing Technology for Real Time Enterprises, 2008

ASMs in Service Oriented Architectures.

Michael Altenhofen, Andreas Friesen, Jens Lemcke

J. Univers. Comput. Sci., 2008

Concurrent Abstract State Machines and ⁺CAL Programs.

Michael Altenhofen, Egon Börger

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

2006

A high-level specification for virtual providers.

Michael Altenhofen, Andreas Friesen, Jens Lemcke, Egon Börger

Int. J. Bus. Process. Integr. Manag., 2006

OCL Support in an Industrial Environment.

Michael Altenhofen, Thomas Hettel, Stefan Kusterer

Proceedings of the Models in Software Engineering, 2006

2005

An Execution Semantics for Mediation Patterns.

Michael Altenhofen, Egon Börger, Jens Lemcke

Proceedings of the WIW 2005 Workshop on WSMO Implementations, 2005

Matching Composed Semantic Web Services at Publishing Time.

Andreas Friesen, Michael Altenhofen

Proceedings of the 7th IEEE International Conference on E-Commerce Technology Workshops (CEC 2005 Workshops), 2005

Semantic Discovery Optimization: Matching Composed Semantic Web Services at Publishing Time.

Andreas Friesen, Michael Altenhofen

Proceedings of the WEBIST 2005, 2005

An Abstract Model for Process Mediation.

Michael Altenhofen, Egon Börger, Jens Lemcke

Proceedings of the Formal Methods and Software Engineering, 2005

A High-Level Specification for Mediators(Virtual Providers).

Michael Altenhofen, Egon Börger, Jens Lemcke

Proceedings of the Business Process Management Workshops, 2005

2004

Towards an Integration of Semantic Web Services into existing Web Service Infrastructures.

Michael Altenhofen, Christian Drumm

Proceedings of the Berliner XML Tage 2004, 11.-13. Oktober 2004 in Berlin, 2004

2003

Versioning of E-Learning Objects Enabling Flexible Reuse.

Wolfgang Theilmann, Michael Altenhofen

Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

2002

Flexible Instructional Strategies for E-learning.

Michael Altenhofen, Joachim Schaper

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

1994

The BERKOM Multimedia Teleservices.

Michael Altenhofen, Joachim Schaper, Susan Thomas

Proceedings of the Multimedia: Advanced Teleservices and High-Speed Communication Architectures, 1994

1993

The BERKOM Multimedia Collaboration Service.

Michael Altenhofen, Jürgen Dittrich, Rainer Hammerschmidt, Thomas Käppner, Carsten Kruschel, Ansgar Kückes, Thomas Steinig

Proceedings of the First ACM International Conference on Multimedia '93, 1993