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.

9315 Publications


2004 | Conference Paper | LibreCat-ID: 7927
Modeling and Simulation of Context-Aware Mobile Systems
P. Guo, R. Heckel, in: Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), IEEE Computer Society, Washington, DC, USA, 2004, pp. 430–433.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7928
Simulation and Testing of Mobile Computing Systems using Fujaba
P. Guo, R. Heckel, in: Proceedings of the 2nd International Fujaba Days (2004), Darmstadt (Germany), Darmstadt, Germany, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7929
Model-Based Specification and Execution of Embedded Real-Time Systems
T. Schattkowsky, W. Müller, in: Proceedings of the Conference on Design Automation and Test in Europe (DATE 2004), Paris, France, IEEE Computer Society, Los Alamitos, CA, USA, 2004, pp. 1392–1393.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 7930
Direct Execution of UML 2.0 Sequence Diagrams
T. Schattkowsky, in: Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7931
Efficient Execution of UML State Machines on a Virtual Machine
T. Schattkowsky, in: Proceedings of the Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 7932
Model-based Discovery of Web Services
J. Hendrik Hausmann, R. Heckel, M. Lohmann, in: Proceedings of the IEEE International Conference on Web Services (ICWS 2004), IEEE Computer Society, Washington, DC, USA, 2004, pp. 324–331.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 7933
Peer-to-Peer-based Web Services for Collaborative Engineering Environments
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France), IEEE Computer Society, Los Alamitos, CA, USA, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8293
Enhanced Integrated Solar Home System
S. Krauter, in: Proceedings of the 19th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich), 7.–11. Juni 2004, S. 2399–2402, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8294
Photovoltaics in the Context of Carbon Trading
S. Krauter, in: Proceedings of the 19th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich), 7.–11. Juni 2004, S. 3523–3526, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8295
Cost Reduction and Increase of Reliability for Remote PV-Systems by Satellite
S. Krauter, T. Depping, in: Proceedings of the 19th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich), 7.–11. Juni 2004, S. 3527–3530, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8296
PV in Combination with Micro Wind Turbines for Rural Household Electrification in the Northeast of Brazil
S. Krauter, F.S.A. Calvacante, M.S. Cunha, L.C. de Lima, in: Proceedings of the 19th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich), 7.–11. Juni 2004, S. 3532, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8298
Activities concerning the Set-up of an International University for Renewable Energy
S. Krauter, in: Proceedings of the International Seminar on Hydrogen Technologies, Buenos Aires (Argentina), 7.–9. September 2004, 2004.
LibreCat
 

2004 | Journal Article | LibreCat-ID: 7382
Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams
J. Hendrik Hausmann, R. Heckel, S. Sauer, Software and Systems Modeling 3 (2004) 181–193.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 7533
Adaptive Cruise Controller Case Study
A. Krupp, O. Lundkvist, T. Schattkowsky, C. Snook, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 7534
Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
T. Schattkowsky, W. Mueller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition, Lighthouse Point, FL, 2004, pp. 5–14.
LibreCat
 

2004 | Dissertation | LibreCat-ID: 7585
Consistency Management of Object-Oriented Behavioral Models
J. Küster, Consistency Management of Object-Oriented Behavioral Models, 2004.
LibreCat
 

2004 | Dissertation | LibreCat-ID: 7586
Visuelle Modellierung agentenbasierter Systeme
R. Depke, Visuelle Modellierung Agentenbasierter Systeme, 2004.
LibreCat | Files available
 

2004 | Conference Paper | LibreCat-ID: 8386
Understanding Model Transformation by Classification and Formalization
S. Sendall, R. Hauser, J. Koehler, J. Küster, M. Wahler, in: Proceedings of the Workshop on Software Transformation Systems (STS 2004, Satellite Event of the 3rd International Conference on Generative Programming and Component Engineering (GPCE 2004)), Vancouver (Canada), 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8387
Behavior-Preserving Refinement Relations between Dynamic Software Architectures
R. Heckel, S. Thöne, in: Proceedings of the Workshop on Algebraic Development Techniques (WADT 2004), Barcelona (Spain), Springer, Berlin/Heidelberg, 2004, pp. 1–27.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 8388
A Formal Approach to Service Specification and Matching based on Graph Transformation
R. Heckel, A. Cherchago, M. Lohmann, in: Proceedings of the First International Workshop on Web Services and Formal Methods (WSFM 2004), Pisa, Italy, Elsevier, 2004, pp. 37–49.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D978-1-4503-0743-7

Search

Filter Publications

Display / Sort

Export / Embed