Home › Biblio

Biblio

Export 48 results:
Sort by: [ Author (Asc)] Keyword Title 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]
B
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)
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)
Barthel, S., and W. - T. Balke, "Thematic Digital Libraries vs. Wikipedia's "One Size Fits All" - Lessons Learned", The IPSI BgD Transactions on Internet Research, vol. 10, 2014. Abstract  Download: Topical Digital Libraries vs Wikipedias One Size fits all.pdf (384.52 KB)
C
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
Conrad, S., M. Gogolla, and R. Herzig, TROLL \em light\/: A Core Language for Specifying Objects, , no. 92-02: TU Braunschweig, 1992. 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
D
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
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
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
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
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)
Drosten, K., and H. - D. Ehrich, "Translating algebraic specifications to PROLOG programs", Bericht Nr. 84-08, Institut für Informatik: TU Braunschweig, 1984. Abstract
E
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
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
Ehrich, H. - D., K. Drosten, and M. Gogolla, "Towards an Algebraic Semantics for Database Specification", Proc 2nd IFIP WG 2.6 Working Conf on Database Semantics ``Data and Knowledge'' (DS-2), Albufeira, Portugal, North-Holland, Amsterdam, pp. 119-135, 1988. Abstract  Download: 1988Albufeira.pdf (1.08 MB)
Ehrich, H. - D., and P. Hartel, "Temporal Specification of Information Systems", Logic and Software Engineering, Proc. Int. Workshop in Honor of C.S. Tang, Beijing, 14-15 August 1995: World Scientific, pp. 43-71, 1996. Abstract  Download: 1996Beijing.pdf (283.86 KB)
Ehrich, H. - D., "Theory of Direct-Access Storage Functions", Proc. IFIP'74 Congress, pp 647-651: North-Holland, 1974. Abstract  Download: 1974IFIP.pdf (217.89 KB)
G
Gogolla, M., S. Conrad, G. Denker, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "TROLL light --- The Language and Its Development Environment", KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 205-220, 1995. Abstract  Download: 1995TrollLight.pdf (971.69 KB)
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
Grau, A., K. Filipe, M. Kowsari, S. Eckstein, R. Pinger, and H. - D. Ehrich, "The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools", Proc. of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore, Springer, LNCS 1507, pp. 277-290, 1998. Abstract  Download: 1998ER.pdf (336.76 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)
H
He, J., K. Kunze, C. Lofi, S. Madria, and S. Sigg, "Towards Mobile Sensor-Aware Crowdsourcing: Architecture, Opportunities and Challenges", Workshop on Uncertain and Crowdsourced Data (UnCrowd), Bali, Indonesia, 2014. Abstract  Download: hybridcrowd.pdf (1.14 MB)
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
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
Hohenstein, U., L. Neugebauer, G. Saake, and H. - D. Ehrich, "Three-Level Specification of Databases Using an Extended Entity-Relationship Model", Proc GI-Fachtagung ``Informationsermittlung und -analyse für den Entwurf von Informationssystemen'': Informatik-Fachbericht 143, Springer, Berlin, 1987, pp. 58-88, 1987. Abstract  Download: 1987ThreeLevelSpec.pdf (1.21 MB)
Hohenstein, U., and M. Gogolla, Towards a Semantic View of an Extended Entity-Relationship Model, , no. 88-02: Technische Universität Braunschweig, 1988. Abstract
Homoceanu, S., S. Tönnies, P. Wille, and W. - T. Balke, "Time-Based Exploratory Search in Scientific Literature", Research and Advanced Technologies for Digital Libraries: 17th International Conference on Theory and Practice of Digital Libraries (TPDL), Valletta, Malta, 09/2013. Abstract  Download: essence_crc.pdf (538.82 KB)
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
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
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
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
L
Lipeck, U. W., "Transformation of Dynamic Integrity Constraints into Transaction Specifications", Theoretical Computer Science, vol. 76, pp. 115-142, 1990. 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
Luthmann, L., S. Mennicke, and M. Lochau, "Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata", International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2016), London, UK, EPTCS, 04/2015. Abstract
M
Maarry, K. E., and W. - T. Balke, "Towards an Impact-driven Quality Control Model for Imbalanced Crowdsourcing Tasks", The 17th International Conference on Web Information Systems Engineering (WISE), Shanghai, China, 11/2016. Abstract  Download: 36 - Towards an impact driven quality control model.pdf (1.48 MB)