Home › Biblio

Biblio

Export 690 results:
Sort by: [ Author (Asc)] Keyword Title Type Year
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 
B
Brunkhorst, I., S. Tönnies, and W. - T. Balke, "Multimedia Content Provisioning using Service Oriented Architectures", IEEE International Conference on Web Services (ICWS), Bejing, China, 10/2008. Abstract  Download: icws08.pdf (442.21 KB)
C
Cho, S. R., and W. - T. Balke, "Order-Preserving Optimization of Twig Queries with Structural Preferences", International Database Engineering & Applications Symposium (IDEAS) , Coimbra, Portugal, 2008. Abstract  Download: IDEAS08.pdf (559.96 KB)
Cho, S. R., and W. - T. Balke, "Building an Efficient Preference XML Query Processor", 24th Annual ACM Symposium on Applied Computing, Honolulu, HI, USA, 2009. Abstract  Download: acmsac09.pdf (148.56 KB)
Cho, S. R., and W. - T. Balke, "Relaxing XML Preference Queries for Cooperative Retrieval", 11th International Conference on Enterprise Information Systems (ICEIS), Milan, Italy, Springer LNBIP, 2009. Abstract  Download: iceis09.pdf (560.16 KB)
Cho, S. R., and W. - T. Balke, "Efficient Evaluation of Preference Query Processes Using Twig Caches", 3rd International Conference on Research Challenges in Information Science (RCIS), Fès, Morocco, IEEE, 2009. Abstract  Download: RCIS09-twig cache.pdf (559.04 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
Conrad, S., Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte, : VDI-Verlag, 1994. Abstract
Conrad, S., Spezifikation eines vereinfachten Datenbanksystems -- ein Beitrag zur HDMS-A-Fallstudie, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 15-26, 1993. 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., and H. - D. Ehrich, "An Elementary Logic for Object Specification and Verification", Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing: Technical Report Univ1 Hannover, No1 03/94, pp. 197-206, 1994. Abstract
Conrad, S., "On Certification of Specifications for TROLL \it light\/ Objects", Proc1 9th Workshop on Abstract Data Types - 4th Compass Workshop (ADT'92): Springer, LNCS 785, pp. 158-172, 1994. Abstract
Conrad, S., Einbindung eines bestehenden Datenbanksystems in einen formalen Software-Entwicklungsprozeß -- ein Beitrag zur HDMS-A-Fallstudie, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 1-14, 1993. 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
Conrad, S., and M. Gogolla, "An Annotated Bibliography on Object-Orientation and Deduction", ACM SIGMOD RECORD, vol. 21, no. 1, pp. 123-132, 1992. Abstract
Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Entwicklung zuverlässiger Informationssysteme", EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 2, pp. 25-33, 1995. Abstract  Download: 1995EMISA.pdf (691.75 KB)
Conrad, S., G. Denker, M. Gogolla, R. Herzig, N. Vlachantonis, and H. - D. Ehrich, "Zur Entwicklung zuverlässiger Informationssysteme in KorSo", Informatik -- Wirtschaft -- Gesellschaft, Proc. 23. GI-Jahrestagung (GI'93): Springer, Informatik aktuell, pp. 464-469, 1993. Abstract  Download: 1993GI.pdf (401.19 KB)
Conrad, S., M. Gogolla, and R. Herzig, "Safe Derivations in Object Hierarchies", OOIS'94 -- 1994 Int. Conf. on Object Oriented Information Systems: Springer, London, pp. 306-319, 1995. Abstract
Conrad, S., A Basic Calculus for Verifying Properties of Synchronously Interacting Objects, , no. 94-05: Technische Universität Braunschweig, 1994. Abstract
Costa, J. - F., A. Sernadas, C. Sernadas, and H. - D. Ehrich, "Object Interaction", Mathematical Foundations of Computer Science (MFCS'92): Springer Verlag, pp. 200-208, 1992. Abstract  Download: 1992MFCS.pdf (56.77 KB)
Crnkovic, I., J. Küster Filipe, M. Larsson, and K. - K. Lau, "Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues", Databases and Information Systems: Proceedings of the 4th IEEE International Baltic Workshop, Volume 2, Vilnius, Lithuania, May 1-5, 2000: Vilnius Gediminas Technical University, Lithuanian Computer Society, pp. 63-77, 2000. Abstract
Crnkovic, I., J. Küster Filipe, M. Larsson, and K. - K. Lau, "Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues", Data Bases and Information Systems: Fourth International Baltic Workshop on DB and IS (Selected Papers): Kluwer Academic Publishers, 2000. Abstract
D
Denker, G., and H. - D. Ehrich, "Action Reification In Object Oriented Specification", Information Systems - Correctness and Reusability, Selected Papers from the IS-CORE Workshop: World Scientific, pp. 103-118, 1995. Abstract  Download: 1995ISCORE.pdf (1.04 MB)
Denker, G., "Reification - Changing Viewpoint but Preserving Truth", Recent Trends in Data Types Specification, Proc.\ 11th Workshop on Specification of Abstract Data Types joint with the 8th General COMPASS Meeting. Oslo, Norway, September 1995. Selected papers.: Springer, pp. 182-199, 1996. Abstract
Denker, G., J. Millen, A. Grau, and J. Küster Filipe, "Optimizing Protocol Rewrite Rules of CIL Specifications", Proc. of the 13th IEEE Computer Security Foundations Workshop, July 3-5, 2000, Cambridge, England, 2000. 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., J. Meseguer, and C. Talcott, "Protocol Specification and Analysis in Maude", Proc1 of Workshop on Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana, 1998. Abstract
Denker, G., and P. Hartel, \sc Troll - An Object Oriented Formal Method for Distributed Information System Design: Syntax and Pragmatics, , no. 97-03: Technische Universität Braunschweig, 1997. Abstract
Denker, G., Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen, , vol. 6: infix-Verlag, 1996. 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., 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
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
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., and H. - D. Ehrich, "An Event-Based Semantics for Transactions", Proc. Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995: Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique, pp. 57-72, 1995. Abstract
Denker, G., "Semantic Ref\/inement of Concurrent Object Systems Based on Serializability", Object Orientation with Parallelism and Persistence: Kluwer Academic Publ., pp. 105-126, 1996. 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