Home › Biblio

Biblio

Export 717 results:
Sort by: Author Keyword Title Type [ Year (Desc)]
2003
Balke, W. - T., and A. Badii, "Service Provisioning in the Dynamic Enterprise Space", Interdisciplinary Research Workshop on Global IT Outsourcing, Cambridge, UK, 2003. Abstract  Download: cambridge03.pdf (114.51 KB)
Balke, W. - T., W. Kießling, and C. Unbehend, "A Situation-aware Mobile Traffic Information System", 36th Hawaii International Conference on System Sciences (HICCS-36), Big Island, HI, USA, IEEE, 2003. Abstract  Download: hicss03.pdf (1.18 MB)
Balke, W. - T., and M. Wagner, "Towards Personalized Selection of Web Services", 12th International World Wide Web Conference (WWW 2003), Budapest, Hungary, ACM, 2003. Abstract  Download: www03.pdf (380.89 KB)
Tönnies, S., "Werkzeugunterstützter Einsatz von XP-Techniken in der Programmierausbildung", Institut für verteilte Systeme - Fachgebiet wissensbasierte Systeme , vol. B.Sc., Hannover, Universität Hannover, 2003.
Ahlbrecht, P., S. Eckstein, and K. Neumann, "Conceptual Modelling of Mobile Object Systems: Language Constructs for Distinguishing Between Mobile and Stationary Subsystems", COMPSAC'03. Proc. 27th Annual Int. Computer Software and Applications Conference., pp. 144-150, 2003. Abstract
Ahlbrecht, P., S. Eckstein, and K. Neumann, "Conceptual Modelling of Mobile Object Systems: Some Language Constructs", Proc. Short Papers at 15th Conf. on Advanced Information Systems Engineering, pp. 89-92, 2003. Abstract
Ahlbrecht, P., S. Eckstein, and K. Neumann, "Language Constructs for Conceptual Modelling of Mobile Object System s", Proc. 4th Int. Symp. on Collaborative Technologies and Systems, pp. 121-126, 2003. Abstract
Täubner, C., Modellierung des Ethylen-Pathways mit UML-Statecharts, , no. 2003-2: TU Braunschweig, 2003. Abstract
2002
Pinger, R., Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking, : Technical University Braunschweig, Germany, February, 2002. Abstract
Ehrich, H. - D., "Abstract Data Types", The Concise Handbook of Algebra: Kluwer Academic Publishers, pp. 486-490, 2002. Abstract  Download: 2002HandbAlgebra.pdf (528.49 KB)
Ehrich, H. - D., M. Kollmann, and R. Pinger, "Distributed Model Checking", Proc. FM-TOOLS 2002, pp. 53-58, 2002. Abstract  Download: 2002FMTOOLS.pdf (595.59 KB)
Neumann, K., "Funktionales Programmieren mit Polygonen", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 22, pp. 125-136, 2002. Abstract  Download: Ne02.pdf (138.38 KB)
Kießling, W., and W. - T. Balke, "Mobile Search in a Preference World", WWW 2002 Workshop on Mobile Search, Honolulu, HI, USA, ACM, 2002. Abstract  Download: mobile_search02.pdf (471.32 KB)
Balke, W. - T., U. Güntzer, and W. Kießling, "On Real-time Top k Querying for Mobile Services", 10th International Conference on Cooperative Information Systems (CoopIS 2002), Irvine, CA, USA, Springer, 2002. Abstract  Download: coopis02.pdf (372.94 KB)
Wagner, M., W. Kießling, and W. - T. Balke, "Progressive Content Delivery for Mobile E-Services", 3rd International Conference on Advances in Web-Age Information Management (WAIM 2002), Beijing, China, Springer, 2002. Abstract  Download: waim02.pdf (722.53 KB)
Wagner, M., W. - T. Balke, R. Hirschfeld, and W. Kellerer, "A Roadmap to Advanced Personalization of Mobile Services", 10th International Conference on Cooperative Information Systems (CoopIS 2002), Irvine, CA, USA, Springer, 2002. Abstract  Download: coopis02i.pdf (170.94 KB)
Balke, W. - T., "A Roadmap to Personalized Information Systems by Cognitive Expansion of Queries", 12 EnCKompass Workshop on Content-Knowledge Management and Mass Personalization of E-Services (EnCKompass 2002), Paris, France, 2002. Abstract  Download: enckompass02.pdf (190.1 KB)
Wagner, M., W. - T. Balke, and W. Kießling, "An XML-Based Multimedia Middleware for Mobile Online Auctions", Enterprise Information Systems III, J. Filipe, B. Sharp, and P. Miranda (eds.): Kluwer Academic Publishers, 2002.  Download: iceis01.pdf (929.37 KB)
Ahlbrecht, P., "Datenabgleich durch mobile Agenten: Spezifikation und Implementierung", Tagungsband zum 14. GI-Workshop ``Grundlagen von Datenbanken``, pp. 1-5, 2002. Abstract
Ahlbrecht, P., and J. Röver, "Specification and Implementation of Mobile-Agent-Based Data Integration", Databases and Information Systems II: Kluwer Academic Publisher, pp. 269-283, 2002. Abstract
Ahlbrecht, P., and J. Röver, "Specification and Implementation of Mobile-Agent-Based Data Integration", Databases and Information Systems. Proc. 5th Int. Baltic Conf., BalticDB&IS 2002, pp. 117-131, 2002. Abstract
2001
Grau, A., Computer-Aided Validation of Formal Conceptual Models, : Technical University Braunschweig, Germany, March, 2001. Abstract
Einer, S., and A. Grau, "Integrating Petri Nets and \sc Troll in the Modeling of Engineering Systems", Proc. of the IEEE TC-ECBS and IFIP WG 10.1 Joint Workshop on Formal Specifications of Computer Based Systems (FSCBS'01) Washington DC, pp. 7-12, April, 2001. Abstract
Pinger, R., and H. - D. Ehrich, "Compositional Checking of Communication among Observers", Fundamental Approaches to Software Engineering (FASE), Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2001), Genova, vol. LNCS 2029: Springer, pp. 32-44, 2001. Abstract  Download: 2001FASE.pdf (171.57 KB)
Balke, W. - T., "Efficient Combination of Ranked Result Sets in Multi-Feature Applications", Institut für Informatik, vol. Ph.D., Augsburg, Germany, Universität Augsburg, 2001. Abstract  Download: balke01.pdf (1.04 MB)
Neumann, K., and M. Selke, "Elemente der Programmiersprache Java vorgestellt an einer Modifikation des Douglas/Peucker-Algorithmus zur Erhaltung rechter Winkel", Mitteilungen des Bundesamtes für Kartographie und Geodäsie, no. 20, pp. 87-97, 2001. Abstract  Download: NeS01.pdf (113.39 KB)
Wagner, M., W. Kießling, W. - T. Balke, and T. Birke, "HERON - Multimedia Middleware für Digitale Bibliotheken", Deutscher Bibliothekartag, Themenkreis XII: Informationsversorgung der Zukunft - Visionen und Strategien, Bielefeld, Germany, 2001. Abstract
Kießling, W., W. - T. Balke, and M. Wagner, "Personalized Content Syndication in a Preference World", EnCKompass Workshop on E-Content Management (EnCKompass 2001), Eindhoven, The Netherlands, 2001. Abstract  Download: enckompass01.pdf (35.07 KB)
Güntzer, U., W. - T. Balke, and W. Kießling, "Towards Efficient Multi-Feature Queries in Heterogeneous Environments", IEEE International Conference on Information Technology: Coding and Computing (ITCC 2001), Las Vegas, NV, USA, 2001. Abstract  Download: itcc01.pdf (92.73 KB)
Ehrich, H. - D., "Überprüfung von Softwareskizzen und -entwürfen", Jahrbuch 2000 der Braunschweigischen Wissenschaftlichen Gesellschaft: J Cramer Verlag, pp. 69-72, 2001. Abstract  Download: 2001BWG.pdf (46.05 KB)
Wagner, M., W. - T. Balke, and W. Kießling, "An XML-Based Multimedia Middleware for Mobile Online Auctions", 3rd International Conference on Enterprise Information Systems (ICEIS 2001), Setubal, Portugal, Springer, 2001. Abstract  Download: iceis01.pdf (929.37 KB)
Eckstein, S., P. Ahlbrecht, and K. Neumann, "Increasing Reusability in Information Systems Development by Applying Generic Methods", Proc. 13th Int. Conf. on Advanced Information Systems Engineering (CAiSE'01), Interlaken: Springer, pp. 251-266, 2001. Abstract
Eckstein, S., Module für verteilte Objektsysteme -- Konzepte zur Strukturierung und Wiederverwendung objektorientierter Spezifikationen, , vol. 77: infix-Verlag, 2001. Abstract
Eckstein, S., P. Ahlbrecht, and K. Neumann, "Techniques and Language Constructs for Developing Generic Information Systems: A Case Study", Int. Symp. on Software Reusability (SSR'01), Toronto: ACM, pp. 145-154, 2001. Abstract
2000
Küster Filipe, J., Foundations of a Module Concept for Distributed Object Systems, : PhD Thesis, Technical University Braunschweig, September, 2000. Abstract