Home › Biblio

Biblio

Export 693 results:
Sort by: Author Keyword [ Title (Asc)] 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 
M
Lipeck, U. W., and K. Neumann, "Modelling and Manipulating Objects in Geoscientific Databases", Proc1 5th Int1 Conf1 on the Entity-Relationship Approach: North-Holland, Amsterdam, pp. 67-86, 1987. Abstract
Täubner, C., B. Mathiak, A. Kupfer, N. Fleischer, and S. Eckstein, "Modelling and Simulation of the TLR4 Pathway with Coloured Petri Nets", 28th Annual International Conference of IEEE Engineering in Medicine and Biology Society: IEEE, pp. 221, 30. August - 3. , 2006. Abstract
Hartel, P., Modelling Complex Systems, : Technische Universität Braunschweig, 1995. Abstract
Saake, G., and T. Hartmann, "Modelling Information Systems as Object Societies", Management and Processing of Complex Data Structures, Proc1 3rd Workshop on Information Systems and Artificial Intelligence, Hamburg: Springer, Berlin, LNCS 777, pp. 157-180, 1994. Abstract
Täubner, C., and T. Merker, "Modelling of the Signaling Pathway of Arabidopsis thaliana", In IADIS International Conference Applied Computing, vol. 2: IADIS Press, pp. 295-300, February 22- 25, 2005. Abstract
Küster Filipe, J., "Modelling Parameterisation in Concurrent Object Systems", Logic Journal of the IGPL, vol. 5, no. 6, pp. 877-879, November, 1997. Abstract
Saake, G., and R. Jungclaus, "Models and Languages for Abstract Objects", Encyclopedia of Microcomputers, vol. 11: Marcel Dekker, Inc., pp. 173-187, 1993. Abstract
Saake, G., and R. Jungclaus, "Models and Languages for Abstract Objects", Encyclopedia of Computer Science and Technology, vol. 30: Marcel Dekker, Inc., pp. 241-255, 1994. Abstract
Eckstein, S., Module für verteilte Objektsysteme -- Konzepte zur Strukturierung und Wiederverwendung objektorientierter Spezifikationen, , vol. 77: infix-Verlag, 2001. Abstract
Eckstein, S., "Modules for Object Oriented Specification Languages: A Bipartite Approach", Proc1 5th Doctoral Consortium on Advanced Information Systems Engineering (CAiSE'98), Pisa, Italy, June 8-9, 1998: Tech. Report, ETH Zürich, 1998. Abstract
Lipeck, U. W., G. Saake, and H. - D. Ehrich, Monitoring Dynamic Database Integrity by Transition Graphs, , no. 86-08: Technische Universität Braunschweig, 1986. Abstract
Lipeck, U. W., and G. Saake, "Monitoring Dynamic Integrity Constraints Based on Temporal Logic", Information Systems, vol. 12, pp. 255-269, 1987. Abstract
Nieke, C., and W. - T. Balke, "Monitoring Performance in Large Scale Computing Clouds with Passive Benchmarking", 10th IEEE International Conference on Cloud Computing CLOUD2017, Honolulu, Hawaii, USA, 06/2017. Abstract  Download: 2017_CLOUD_PassiveBenchmark_Nieke_camera_ready.pdf (1.4 MB)
Schwiderski, S., and G. Saake, "Monitoring Temporal Permissions using Partially Evaluated Transition Graphs", Proc1 4th International Workshop: Modelling Database Dynamics, Volkse 1992: Workshops in Computing, Springer, Berlin, pp. 196-217, 1993. Abstract
Schwiderski, S., T. Hartmann, and G. Saake, Monitoring Temporal Preconditions in a Behaviour Oriented Object Model, , no. 93-07: TU Braunschweig, 1993. Abstract
Schwiderski, S., T. Hartmann, and G. Saake, "Monitoring Temporal Preconditions in a Behaviour Oriented Object Model", Data \1 Knowledge Engineering, vol. 14, no. 2, pp. 143-186, December, 1994. Abstract
Köhncke, B., and W. - T. Balke, "MPEG-7/21: Structured Metadata for Handling and Personalizing Multimedia Content", The Handbook of MPEG Applications: Standards in Practice: Wiley, 2010.  Download: koehncke_MPEG-721.pdf (1.47 MB)
Balke, W. - T., and U. Güntzer, "Multi-objective Query Processing for Database Systems", 30th International Conference on very Large Databases (VLDB 2004) , Toronto, Canada, 2004. Abstract  Download: vldb04.pdf (432.65 KB)
Munz, M., S. Tönnies, W. - T. Balke, and E. Simon, "Multidimensional Gene Search with Genehopper", Nucleic Acids Research, vol. 43, no. 9: Oxford University Press, 05/2015.  Download: Nucleic Acids Research - 2015 - Munz.pdf (2.02 MB)
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)
Balke, W. - T., and K. Nahrstedt, "Multimedia Service Composition: A Brave New Topic", Brave New Topic Session within the 12th Annual ACM Multimedia Conference (ACM MM 2004), New York, NY, USA, ACM, 2004. Abstract  Download: mm04a.pdf (51.83 KB)
Ehrich, H. - D., "My ADT Shrine, invited lecture", Selected Papers from WADT 2010, Till Mossakowski and Hans-Jörg Kreowski, eds., Bremen, Springer LNCS 7137, pp. 13-24, 2012. Abstract  Download: 2012LNCS7137WADT10.pdf (498.99 KB)
N
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)
Ehrich, H. - D., "A Note on State Minimization of a Special Class of lncomplete Sequential Machines", IEEE Transactions on Computers, vol. C-21, No. 5: The Institute of Electrical and Electronics Engineers, Inc., pp. 500-502, 1972. Abstract  Download: 1972IEEE-C-21.pdf (144.06 KB)
Gogolla, M., "A Note on the Translation of SQL to Tuple Calculus", ACM SIGMOD RECORD, vol. 19, no. 1, pp. 18-22, 1990. Abstract
O
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)
Löhr-Richter, P., and G. Reichwein, "Object Orientation as a Promising Perspective for Life Cycle Models", Proc1 Intern. Workshop on Information Systems - Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No1 01/93, pp. 289-306, 1993. Abstract
Löhr-Richter, P., and G. Reichwein, Object Oriented Life Cycle Model, , no. 93-05: University of Braunschweig, 1993. Abstract
Ehrich, H. - D., R. Jungclaus, and G. Denker, "Object Roles and Phases", Proc Intern. Workshop on Information Systems - Correctness and Reusability IS-CORE '93, Technical Report, University of Hannover No1 01/93, pp. 114-121, 1993. Abstract
Ehrich, H. - D., Object Specification, , no. 96-07: TU Braunschweig, 1996. Abstract
Ehrich, H. - D., "Object Specification", Algebraic Foundations of Systems Specification: Springer, pp. 435-465, 1999. Abstract  Download: 1999ObjSpec.pdf (243.61 KB)
Hartel, P., and P. B. Inacio, "Object-Orientation and Information Modeling", Proc1 OOPSLA Workshop on Object-Oriented Reasoning in Information Modeling: Institute for Information Management and Department of Computer and Information Systems, Robert Morris College, Pennsylvania, pp. 13-16, 1992. Abstract
Hartel, P., and P. B. Inacio, "Object-Orientation and Real-Time System Development", Proc1 OOPSLA Workshop on Object-Oriented Technology in Real-Time Systems: Past, Present, and Future, 1992. Abstract
Gogolla, M., and I. Claßen, "An Object-Oriented Design for the ACT ONE Environment", Proc1 3rd Int1 Conf1 on Algebraic Methodology and Software Technolog1 (\mboxAMAST'93): Springer, London, Workshops in Computing, pp. 361-368, 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