Home › Biblio

Biblio

Export 313 results:
Sort by: [ Author (Asc)] Keyword Title Type Year
Filters: Taxonomy Term is   [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 
A
Ahlbrecht, P., S. Eckstein, and K. Neumann, "Conceptual Modelling of Mobile Object Systems: Language Constructs for Distinguishing Between Mobile and Stationary Subsystems", COMPSAC'03. Proc. 27th Annual Int. Computer Software and Applications Conference., pp. 144-150, 2003. Abstract
Ahlbrecht, P., "Datenabgleich durch mobile Agenten: Spezifikation und Implementierung", Tagungsband zum 14. GI-Workshop ``Grundlagen von Datenbanken``, pp. 1-5, 2002. Abstract
Ahlbrecht, P., S. Eckstein, and K. Neumann, "Language Constructs for Conceptual Modelling of Mobile Object System s", Proc. 4th Int. Symp. on Collaborative Technologies and Systems, pp. 121-126, 2003. 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., S. Eckstein, and K. Neumann, "Conceptual Modelling of Mobile Object Systems: Some Language Constructs", Proc. Short Papers at 15th Conf. on Advanced Information Systems Engineering, pp. 89-92, 2003. 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
Ahlbrecht, P., Impact of Mobility on Information Systems and Information System Design, : Technical University Braunschweig, 2004. Abstract
Alrifai, M., W. - T. Balke, P. Dolog, and W. Nejdl, "Nonblocking Scheduling for Web Service Transactions", 5th IEEE European Conference on Web Services (ECOWS), Halle (Saale), Germany, 2007. Abstract  Download: ecows07.pdf (372.41 KB)
B
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)
Balke, W. - T., U. Güntzer, and W. Siberski, "Getting Prime Cuts from Skylines over Partially Ordered Domains", 12th GI-Fachtagung für Datenbanksysteme in Business, Technologie und Web (BTW), Aachen, Germany, 2007. Abstract  Download: btw07.pdf (342.21 KB)
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)
Balke, W. - T., and J. Diederich, "A Quality- and Cost-based Selection Model for Multimedia Service Composition in Mobile Environments", 4th IEEE International Conference on Web Services (ICWS), Chicago, IL, USA, 2006. Abstract  Download: icws06.pdf (210.92 KB)
Balke, W. - T., and J. Selke, "Exploiting Conceptual Knowledge for Querying Information Systems", International Conference on Philosophy's Relevance in Information Science (PRIS), Paderborn, Germany, 2008. Abstract  Download: pris08.pdf (428.49 KB)
Bozzon, A., T. Iofciu, A. V. Taddeo, S. Tönnies, and W. Nejdl, "Role based Access Control for the integration with Search Engines", International Workshop on Collaborative Open Environments for Project-Centered Learning, Crete, Greece, 09/2007. Abstract
Bozzon, A., T. Iofciu, S. Tönnies, and W. Nejdl, "Integrating databases, search engines and Web applications: a model-driven approach", Internation Conference on Web Engineering (ICWE), Como, Italy, 07/2007. Abstract
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, "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)
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., A Basic Calculus for Verifying Properties of Synchronously Interacting Objects, , no. 94-05: Technische Universität Braunschweig, 1994. 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., "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., "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., 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., 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., 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., Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte, : VDI-Verlag, 1994. 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., Spezifikation eines vereinfachten Datenbanksystems -- ein Beitrag zur HDMS-A-Fallstudie, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 15-26, 1993. Abstract
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., "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 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., "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., 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