Biblio

Export 146 results:
Sort by: Author Keyword Title Type [ Year  (Desc)]
Filters: First Letter Of Last Name is S  [Clear All Filters]
2007
Kupfer, A., S. Eckstein, B. Störmann, K. Neumann, and B. Mathiak, "Methods for a Synchronised Evolution of Databases and Associated Ontologies", Frontiers in Artificial Intelligence and Applications, vol. 155: IOS Press, pp. 89-102, 2007. Abstract
Balke, W. - T., U. Güntzer, and W. Siberski, "Restricting Skyline Sizes using Weak Pareto Dominance", Informatik - Forschung und Entwicklung (IFE), vol. 21, no. 3: Springer, 2007.  Download: ife07.pdf (364.26 KB)
2006
Balke, W. - T., U. Güntzer, and W. Siberski, "Exploiting Indifference for Customization of Partial Order Skylines", 10th International Database Engineering & Applications Symposium (IDEAS), Delhi, India, 2006. Abstract  Download: ideas06.pdf (353.98 KB)
Ehrich, H. - D., K. - D. Schewe, and T. H. Tse(eds), "Special Issue Quality Software", Journal of Systems and Software, vol. 79, no. 5: Elsevier B.V., 2006. Abstract  Download:  2006editorialSpecIssueJSS.pdf (241.7 KB)
2005
Balke, W. - T., W. Nejdl, W. Siberski, and U. Thaden, "Caching for Improved Retrieval in Peer-to-Peer Networks", GI/ITG-Workshop "Peer-to-Peer Systeme und -Anwendungen", Kaiserslautern, Germany, 2005. Abstract  Download: gi-itg05.pdf (35.08 KB)
Balke, W. - T., W. Nejdl, W. Siberski, and U. Thaden, "DL meets P2P – Distributed Document Retrieval based on Classification and Content", 9th European Conference on research and Advanced Technology for Digital Libraries (ECDL 2005), Vienna, Austria, Springer , 2005. Abstract  Download: ecdl05.pdf (131.87 KB)
Balke, W. - T., W. Nejdl, W. Siberski, and U. Thaden, "Progressive Distributed Top-k Retrieval in Peer-to-Peer Networks", 21th International Conference on Data Engineering (ICDE 2005), Tokyo, Japan, IEEE, 2005. Abstract  Download: icde05.pdf (345.27 KB)
Löser, A., C. Tempich, B. Quilitz, W. - T. Balke, S. Staab, and W. Nejdl, "Searching Dynamic Communities with Personal Indexes", 4th International Semantic Web Conference (ISWC 2005), Galway, Ireland, 2005. Abstract  Download: iswc05.pdf (308.29 KB)
2004
Ehrich, H. - D., and K. - D. Schewe(eds), "Proceedings QSIC 2004", QSIC 2004, Braunschweig, IEEE CS Press, 2004. Abstract
Kellerer, W., M. Wagner, W. - T. Balke, and H. Schulzrinne, "Preference-based Session Management for IP-based Mobile Multimedia Signaling", European Transactions on Telecommunications, vol. 15, no. 4: Wiley, 2004.  Download: ett04.pdf (132.12 KB)
Nejdl, W., W. Siberski, U. Thaden, and W. - T. Balke, "Top-k Query Evaluation for Schema-Based Peer-to-Peer Networks", 3rd International Semantic Web Conference (ISWC 2004), Hiroshima, Japan, Springer , 2004. Abstract  Download: iswc04.pdf (142.1 KB)
2001
1998
Ehrich, H. - D., C. Caleiro, A. Sernadas, and G. Denker, "Logics for Specifying Concurrent Information Systems", Logics for Databases and Information Systems: Kluwer Academic Publishers, pp. 167-198, 1998. Abstract  Download: 1998ECSD.pdf (255.81 KB)
1997
Neumann, K., and R. Sudmann, "Automatische kartographische Visualisierung von ATKIS-Daten mit einfachen Mitteln", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 117, pp. 59-69, 1997. Abstract
Denker, G., J. Ramos, C. Caleiro, and A. Sernadas, "A Linear Temporal Logic Approach to Objects with Transactions", Sixth Int1 Conf1 on Algebraic Methodology and Software Technology, AMAST'97, 13-17 December 1997, Sydney, Australia: Springer, pp. 170-184, 1997. Abstract
Schönhoff, M., and M. Kowsari, "Specifiying the Remote Controlling of Valves in an Explosion Test Environment", Formal Methods Europe, FME'97, 4th Intern.\ Symposium, Technical University Graz, Austria, 15-19 September, 1997: Springer, Berlin, LNCS 1313, pp. 201-220, 1997. Abstract
1996
Denker, G., and K. Schwarz, "Homogene objektorientierte Spezifikation von Datenbanken und Benutzungsschnittstellen: Ein Erfahrungsbericht", Beiträge der GI-Fachtagung Softwaretechnik'96(ST96), Koblenz, 12. - 13. September 1996: Universität Koblenz-Landau, Fachbereich Informatik, pp. 97-104, 1996. Abstract
1995
Ehrich, H. - D., and A. Sernadas, "Local Specification of Distributed Families of Sequential Objects", Recent Trends in Data Types Specification, Proc1 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers: Springer, Berlin, LNCS 906, pp. 219-235, 1995. Abstract  Download: 1995LocSpecDistr.pdf (350.23 KB)
Kusch, J., P. Hartel, T. Hartmann, and G. Saake, "Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment", Proc1 6th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'95): Springer Verlag, Berlin, LNC1 978, pp. 38-47, 1995. Abstract
1994
Ehrich, H. - D., R. Jungclaus, G. Denker, and A. Sernadas, "Object-Oriented Design of Information Systems: Theoretical Foundations", Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 201-218, 1994. Abstract  Download: 1994CISM1.pdf (266.62 KB)
Saake, G., T. Hartmann, R. Jungclaus, and H. - D. Ehrich, "Object-Oriented Design of Information Systems: \tt TROLL Language Features", Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 219-245, 1994. Abstract  Download: 1994CISM2.pdf (981.53 KB)
Jungclaus, R., R. J. Wieringa, P. Hartel, G. Saake, and T. Hartmann, "Combining \sc Troll with the Object Modeling Technique", Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch F1 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software: Springer, Informatik aktuell, pp. 35-42, 1994. Abstract
Ehrich, H. - D., A. Sernadas, G. Saake, and C. Sernadas, "Distributed Temporal Logic for Concurrent Object Families", Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 22-30, 1994. Abstract
Saake, G., A. Sernadas, and C. Sernadas, "Evolving Object Specifications", Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 311-320, 1994. Abstract
Schwiderski, S., and G. Saake, "Expressing Temporal Behaviour with Extended ECA Rules", Proc1 12th British National Conference on Databases (BNCO1 12), University of Surrey: Springer, LNCS, Berlin, 1994. Abstract
Saake, G., P. Hartel, R. Jungclaus, R. Wieringa, and R. Feenstra, "Inheritance Conditions for Object Life Cycle Diagrams", Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing: Technical Report Univ1 Hannover, No1 03/94, pp. 79-89, 1994. Abstract
Saake, G., and T. Hartmann, "Modelling Information Systems as Object Societies", Management and Processing of Complex Data Structures, Proc1 3rd Workshop on Information Systems and Artificial Intelligence, Hamburg: Springer, Berlin, LNCS 777, pp. 157-180, 1994. Abstract
Saake, G., and R. Jungclaus, "Models and Languages for Abstract Objects", Encyclopedia of Computer Science and Technology, vol. 30: Marcel Dekker, Inc., pp. 241-255, 1994. Abstract
Hartmann, T., and G. Saake, "Prototypische Ausführung von Objektinteraktionen für die Spezifikationssprache \sc Troll", Workshop Deklarative Programmierung und Spezifikation, Bad Honnef: Bericht Nr. 9412, Univ. Kiel, pp. 56-59, 1994. Abstract
Hartmann, T., J. Kusch, G. Saake, and P. Hartel, "Revised Version of the Conceptual Modeling and Design Language \sc Troll", Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, pp. 89-103, 1994. Abstract