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, "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
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
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., 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)
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)
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
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
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., "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., "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., 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., M. Gogolla, and R. Herzig, TROLL \em light\/: A Core Language for Specifying Objects, , no. 92-02: TU Braunschweig, 1992. 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., 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
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
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
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., Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen, , vol. 6: infix-Verlag, 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., 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., "Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen", GI Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996: Teubner, pp. 9-28, 1998. Abstract