Biblio

Export 672 results:
Sort by: Author Keyword Title Type [ Year  (Desc)]
2002
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)
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
2000
Pinger, R., "Verifikation globaler Prüfbedingungen in \sc OmTroll Verhaltensdiagrammen", Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme: Bericht 24/00 - I, Universität Münster, pp. 70-77, November, 2000. Abstract
Küster Filipe, J., "Fundamentals of a Module Logic for Distributed Object Systems", Journal of Functional and Logic Programming, vol. 2000, no. 3: The MIT Press, March, 2000. Abstract
Vogel, J., W. - T. Balke, and W. Kießling, "(Semi-) Automatic Segmentation in Historic Collections of Heraldic Images", 15th International Conference on Pattern recognition (ICPR 2000), Barcelona, Spain, 2000. Abstract  Download: icpr00.pdf (74.68 KB)
Balke, W. - T., U. Güntzer, and W. Kießling, "Applications of Quick-Combine for Ranked Query Models", 1st DELOS Workshop on Information Seeking, Searching and Querying in Digital Libraries, Zurich, Switzerland, 2000. Abstract  Download: delos00.pdf (82.01 KB)
Ehrich, H. - D., and R. Pinger, "Checking object systems via multiple observers", International ICSC Congress on Intelligent Systems & Applications (ISA'2000) , vol. 1: International Computer Science Conventions (ICSC), Canada, pp. 242-248, 2000. Abstract  Download: 2000ISA.pdf (112.72 KB)
Kießling, W., W. - T. Balke, T. Birke, K. Urch, and M. Wagner, "Das HERON-Projekt - Middleware für Image Retrieval", it + ti - Informationstechnik und Technische Informatik, vol. 42, no. 6, 2000. Abstract
Ehrich, H. - D., "Informationssysteme - Hilfe für Dienstleister aller Art", Carolo-Wilhelmina Mitteilungen, vol. Band 35 (Sonderheft "10 Jahre Simultan-Studiengänge"), pp. 46-47, 2000. Abstract  Download: 2000CWM.pdf (461.8 KB)
Güntzer, U., W. - T. Balke, and W. Kießling, "Optimizing Multi-Feature Queries for Image Databases", 26th International Conference on Very Large Databases (VLDB 2000), Cairo, Egypt, 2000. Abstract  Download: vldb00.pdf (190.85 KB)