Biblio

Export 61 results:
Sort by: [ Author  (Asc)] Keyword Title Type Year
Filters: First Letter Of Title is S  [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]
A
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., 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
B
Balke, W. - T., and U. Güntzer, "Supporting Skyline Queries on Categorical Data in Web Information Systems", IASTED International Conference on Internet and Multimedia Systems and Applications (IMSA 2004), Kauai, HI, USA, 2004. Abstract  Download: imsa04.pdf (296.1 KB)
Balke, W. - T., and A. Badii, "Service Provisioning in the Dynamic Enterprise Space", Interdisciplinary Research Workshop on Global IT Outsourcing, Cambridge, UK, 2003. Abstract  Download: cambridge03.pdf (114.51 KB)
Balke, W. - T., "Specialized Information Services - Hype or Important Change in Library Culture? (Panel)", International Conference on Theory and Practice of Digital Libraries (TPDL), Hannover, Germany, 09/2016. Abstract  Download: Panel Abstract - TPDL 2016.pdf (86.03 KB)
Balke, W. - T., W. Kießling, and C. Unbehend, "A Situation-aware Mobile Traffic Information System", 36th Hawaii International Conference on System Sciences (HICCS-36), Big Island, HI, USA, IEEE, 2003. Abstract  Download: hicss03.pdf (1.18 MB)
Balke, W. - T., "Supporting Information Retrieval in Peer-to-Peer Systems", Peer-to-Peer Systems and Applications, R. Steinmetz, K. Wehrle (eds.): Springer , 2005.  Download: p2p05.pdf (423.45 KB)
Balke, W. - T., "Skyline Queries for Preference-Based Information Systems (Keynote)", 20th GI Workshop on Foundations of Databases (GvD), Apolda, Germany, 2008. Abstract  Download: gvdb08.pdf (168.1 KB)
C
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, "Safe Derivations in Object Hierarchies", OOIS'94 -- 1994 Int. Conf. on Object Oriented Information Systems: Springer, London, pp. 306-319, 1995. Abstract
D
Denker, G., and H. - D. Ehrich, "Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic", Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern.\ Workshop, 21-23 July, Canterbury, Kent, UK: Chapman & Hall, pp. 89-104, 1997. Abstract  Download: 1997DenkerEhrich.pdf (548.39 KB)
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
Diederich, J., and W. - T. Balke, "The Semantic GrowBag Algorithm: Automatically Deriving Categorization Systems", 11th European Conference on Research and Advanced Technology for Digital Libraries (ECDL), Budapest, Hungary, 2007. Abstract  Download: ecdl07.pdf (240.17 KB)
E
Ehrich, H. - D., "Spezifikation konzeptioneller Schemata mit abstrakten Datentypen und Versionen", Proc. GI-Fachgespräch ``Entwurf von Informationssystemen - Methoden und Modelle'', pp. 1-19, 1985. Abstract  Download: 1985Tutzing.pdf (877.62 KB)
Ehrich, H. - D., K. - D. Schewe, and T. H. Tse(eds), "Special Issue Quality Software", Journal of Systems and Software, vol. 79, no. 5: Elsevier B.V., 2006. Abstract  Download:  2006editorialSpecIssueJSS.pdf (241.7 KB)
Ehrich, H. - D., U. W. Lipeck, and M. Gogolla, "Specification, Semantics, and Enforcement of Dynamic Database Constraints", Proc Int Conf on Very Large Databases VLDB '84, pp. 301-308, 1984. Abstract  Download: 1984VLDB.pdf (462.55 KB)
Ehrich, H. - D., and C. Caleiro, "Specifying Communication in Distributed Information Systems", Acta Informatica, vol. 36, no. Fasc1 8, pp. 591-616, 2000. Abstract  Download: 2000Acta.pdf (174.2 KB)
G
van Glabbeek, R., U. Goltz, C. Lippert, and S. Mennicke, "Stronger Validity Criteria for Encoding Synchrony", The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Cham, Springer International Publishing, 2019.
Gogolla, M., S. Conrad, and R. Herzig, "Sketching Concepts and Computational Model of TROLL \em light", Proc1 3rd Int1 Conf1 Design and Implementation of Symbolic Computation System1 (DISCO'93): Springer, Berlin, LNCS 722, pp. 17-32, 1993. Abstract
Gogolla, M., Some Examples for TROL1 \it light\/ Templates, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 51-62, 1993. Abstract
H
Hartel, P., T. Hartmann, J. Kusch, and G. Saake, "Specifying Information System Dynamics in \sc TROLL", Proc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL): Univ. of Twente, Technical Report, pp. 53-64, 1994. Abstract
Hartel, P., and R. Jungclaus, "Specifying Business Processes over Objects", Proc1 13th Int1 Conf1 on the Entity-Relationship Approac1 (ER'94): Springer, LNCS 881, Berlin, pp. 10-27, 1994. Abstract
Hartmann, T., "Spezifikation und Ausführung von Objektinteraktionen in \sc Troll", Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing: Technical Report Univ1 Hannover, No1 03/94, pp. 89-95, 1994. Abstract
Hartmann, T., R. Jungclaus, G. Saake, and H. - D. Ehrich, "Spezifikation von Objektsystemen", Objektbanken für Experten: Springer, Berlin, Reihe Informatik aktuell, pp. 220-242, 1992. Abstract  Download: 1992ObjBankExpert.pdf (1.72 MB)
Hartmann, T., R. Jungclaus, and G. Saake, "Spezifikation von Informationssystemen als Objektsysteme", EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 1, pp. 2-18, 1993. Abstract
Herzig, R., and N. Vlachantonis, Spezifikation einer Fertigungszelle mit TROL1 \it light, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 27-41, 1993. Abstract
Herzig, R., Spezifikation der abstrakten Syntax von TROL1 \it light\/ mit TROL1 \it light, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 43-49, 1993. Abstract
Herzig, R., and M. Gogolla, "A SQL-like Query Calculus for Object-Oriented Database Systems", Proc1 Int1 Symp. on Object-Oriented Methodologies and System1 (ISOOMS'94): Springer, Berlin, LNC1 858, pp. 20-39, 1994. Abstract
K
L
Lin, H., H. - D. Ehrich, and T. H. Tse(eds), "Special Issue QSIC 2003", Information and Software Technology, vol. 46, no. 15: Elsevier B.V., 2004. Abstract  Download: 2004EditorialSpecIssueIST.pdf (243.64 KB)