Home › Biblio

Biblio

Export 38 results:
Sort by: Author Keyword [ Title (Asc)] Type Year
Filters: First Letter Of Title is T  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S [T] U V W X Y Z   [Show ALL]
T
Tönnies, S., B. Köhncke, and W. - T. Balke, "Taking Chemistry to the Task – Personalized Queries for Chemical Digital Libraries", 11th ACM/IEEE Joint Conference on Digital Libraries (JCDL), Ottawa, Canada, 06/2011. Abstract  Download: jcdl054-toennies.pdf (766.81 KB)
Nahrstedt, K., and W. - T. Balke, "A Taxonomy for Multimedia Service Composition", 12th Annual ACM Multimedia Conference (MM 2004), New York, NY, USA, ACM, 2004. Abstract  Download: mm04.pdf (226.93 KB)
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
Hülsmann, K., "Temporal Integrity Constraints in the Database Design Environment CADDY", Proc1 Workshop on Foundations of Models and Languages for Data and Objects, Aigen (A): Informatik-Bericht 90/3, TU Clausthal, pp. 191-198, 1990. Abstract
Conrad, S., "Temporal Logic Specification of Objects: An Approach to Compositionality and Reusability Allowing \tt next operators", Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 228-241, 1994. Abstract
Ehrich, H. - D., and P. Hartel, "Temporal Specification of Information Systems", Logic and Software Engineering, Proc1 Int1 Workshop in Honor of C.S. Tang,Beijing, 14-15 August 1995: World Scientific, pp. 43-71, 1996. Abstract
Hülsmann, K., "A Temporal-Logic-Based Query Language for Querying Database Histories", Proc1 2nd Int1 Conf1 on Database and Expert Systems (DEXA'91): Springer, pp. 393-399, 1991. Abstract
Neumann, K., "Thematische Karten als Datenbankobjekte", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 106, pp. 83-94, 1991. Abstract
Hülsmann, K., and G. Saake, Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring, , no. 89-04: Technische Universität Braunschweig, 1989. Abstract
Hülsmann, K., and G. Saake, "Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring", Acta Informatica, vol. 28, no. Fasc 4, pp. 365-407, 1991. Abstract
Hohenstein, U., L. Neugebauer, G. Saake, and H. - D. Ehrich, "Three-Level Specification of Databases Using an Extended Entity-Relationship Model", Proc1 GI-Fachtagung ``Informationsermittlung und -analyse für den Entwurf von Informationssystemen'': Informatik-Fachbericht 143, Springer, Berlin, 1987, pp. 58-88, 1987. Abstract
Balke, W. - T., and M. Wagner, "Through Different Eyes – Assessing Multiple Conceptual Views for Querying Web Services", 13th International World Wide Web Conference (WWW 2004), New York, NY, USA, 2004. Abstract  Download: www04.pdf (184.9 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)
Diederich, J., and W. - T. Balke, "Topic-Based User Models: Design & Comparison", 10th DELOS Thematic Workshop on Personalized Access, Profile Management, and Context Awareness in Digital Libraries (PersDL), Corfu, Greece, 2007. Abstract  Download: persdl07.pdf (133.94 KB)
Zaka, B., N. Kulathuramaiyer, W. - T. Balke, and H. Maurer, "Topic-Centered Aggregation of Presentations for Learning Object Repurposing", World Conference on E-Learning in Corporate, Government, Healthcare, & Higher Education (E-Learn), Las Vegas, NV, USA, 2008. Abstract  Download: elearn08.pdf (410.94 KB)
Claßen, I., and M. Gogolla, Towards a Conceptual Model for the Environment of the Algebraic Specification Language ACT ONE, , no. 91/11: Technische Universität Berlin, 1991. Abstract
Denker, G., and J. Küster Filipe, "Towards a Model for Asynchronously Communicating Objects", Proc1 2nd Int. Baltic Workshop on Databases and Information Systems, Tallinn, June 12-14, 1996: Institute of Cybernetics, pp. 182-193, 1996. Abstract
Eckstein, S., "Towards a Module Concept for Object Oriented Specification Languages", Proc1 3rd Int. Baltic Workshop on Data Bases and Information Systems, Riga, Latvia, April 15-17, vol. 2: Institute of Mathematics and Informatics, University of Latvia, Latvian Academic Library, pp. 180-188, 1998. Abstract
Hohenstein, U., and M. Gogolla, Towards a Semantic View of an Extended Entity-Relationship Model, , no. 88-02: Technische Universität Braunschweig, 1988. Abstract
Gogolla, M., and U. Hohenstein, "Towards a Semantic View of an Extended Entity-Relationship Model", ACM Transactions on Database Systems, vol. 16, no. 3, pp. 369-416, 1991. Abstract
Ehrich, H. - D., K. Drosten, and M. Gogolla, "Towards an Algebraic Semantics for Database Specification", Proc1 2nd IFIP WG 2.6 Working Conf1 on Database Semantics ``Data and Knowledge'' (DS-2): North-Holland, Amsterdam, pp. 119-135, 1988. Abstract
Nahrstedt, K., and W. - T. Balke, "Towards Building Large Scale Multimedia Systems and Applications: Challenges and Status", 1st ACM Workshop on Multimedia Service Composition (MSC 2005), Singapore, ACM, 2005. Abstract  Download: msc05.pdf (87.11 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)
Neumann, K., and S. Eckstein, "Towards Meta-Automating the German Real Estate Map", International Symposium on LandCover Logic: LNI, pp. 55-68, 2007. Abstract
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)
Vlachantonis, N., R. Herzig, M. Gogolla, G. Denker, S. Conrad, and H. - D. Ehrich, "Towards Reliable Information Systems: The KORSO Approach", Proc1 5th Int1 Conf1 on Advanced Information Systems Engineerin1 (CAiSE'93): Springer, Berlin, LNCS 685, pp. 463-482, 1993. Abstract
Denker, G., "Towards Semantic Foundation of Basic TROLL \em light Constructs", 41 GI Workshop Grundlagen von Datenbanken: ECRC, München, Technical Report ECRC-92-13, pp. 22-26, 1992. Abstract
Denker, G., "Transactions in Object-Oriented Specifications", 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. 203-218, 1995. Abstract
Lipeck, U. W., "Transformation of Dynamic Integrity Constraints into Transaction Specifications", Proc1 2nd Int1 Conf1 on Database Theory: LNCS 326, Springer, Berlin, pp. 322-337, 1988. Abstract
Lipeck, U. W., "Transformation of Dynamic Integrity Constraints into Transaction Specifications", Theoretical Computer Science, vol. 76, pp. 115-142, 1990. Abstract
Herzig, R., and M. Gogolla, "Transforming Conceptual Data Models into an Object Model", Proc1 11th Int1 Conf1 on the Entity-Relationship Approac1 (ER'92): Springer, Berlin, LNC1 645, pp. 280-298, 1992. Abstract
Drosten, K., and H. - D. Ehrich, "Translating algebraic specifications to PROLOG programs", Bericht Nr. 84-08, Institut für Informatik: TU Braunschweig, 1984. Abstract
Denker, G., and M. Gogolla, "Translating TROLL \em light Concepts to Maude", Proc1 9th Workshop on Abstract Data Types - 4th Compass Workshop (ADT'92): Springer, Berlin, LNCS 785, pp. 173-187, 1993. Abstract
Grau, A., J. Küster Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H. - D. Ehrich, "The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools", Proc1 of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore: Springer, LNCS 1507, pp. 277-290, November, 1998. Abstract
Herzig, R., and N. Vlachantonis, "TROLL light -- Specification with a Language for the Conceptual Modelling of Information Systems", Case Study ``Production Cell'': A Comparative Study in Formal Specification and Verification: FZI-Publication 1/94, Forschungszentrum Informatik, Karlsruhe (Germany), pp. 231-239, 1994. Abstract