Biblio

Export 62 results:
Sort by: [ Author  (Desc)] 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]
Z
Zeippen, J. - M., and P. Hartel, "Specification of a Control System by Domain Specialists with OBLOG - Experience Report -", Proc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL): Univ. of Twente, Technical Report, pp. 137-146, 1994. Abstract
W
T
S
Selke, J., and W. - T. Balke, "SkyMap: A Trie-Based Index Structure for High-Performance Skyline Query Processing", 22nd International Conference on Database and Expert Systems Applications (DEXA 2011), Toulouse, France, Springer, 08/2011. Abstract  Download: dexa 2011 - final.pdf (250.28 KB)
Schönhoff, M., and M. Kowsari, "Specifiying the Remote Controlling of Valves in an Explosion Test Environment", Formal Methods Europe, FME'97, 4th Intern.\ Symposium, Technical University Graz, Austria, 15-19 September, 1997: Springer, Berlin, LNCS 1313, pp. 201-220, 1997. Abstract
Saake, G., and R. Jungclaus, "Specification of Database Applications in the TROLL-Language", Proc1 Int1 Workshop Specification of Database Systems, Glasgow, July 1991: Springer, London, pp. 228-245, 1992. Abstract
Saake, G., V. Linnemann, P. Pistor, and L. Wegner, "Sorting, Grouping, and Duplicate Elimination in the Advanced Information Management Prototype", Proc1 15th Int1 Conf1 on Very Large Databases VLDB'89: Morgan Kaufmann, Palo Alto, 1989, pp. 307-316, 1989. Abstract
P
Pinto, J. M. G., and W. - T. Balke, "Scientific Claims Characterization for Claim-Based Analysis in Digital Libraries", 22nd International Conference on Theory and Practice of Digital Libraries, Porto, Portugal, 06/2018. Abstract  Download: camera-ready_29.pdf (636.31 KB)
N
Neumann, K., "SQL-3", Datenbankmanagement, 4. Aktualisierung: WEKA-Verlag, pp. 9/8.1.1-8.1.3.2, 1994. Abstract
Neumann, K., "Schnittstellen von Datenbanksystemen zu Programmiersprachen - Stand der Technik", Nachrichten aus dem Karten- und Vermessungswesen, vol. Reihe 1, no. 108, pp. 145-158, 1992. Abstract
Neumann, K., "Struktur und Integritätsbedingungen bei der Abbildung von Umweltdaten", Proc1 Workshop Umweltdatenbanken: Metropolis, Marburg, pp. 259-275, 1994. Abstract
M
Maarry, K. E., W. - T. Balke, H. Cho, S. -won Hwang, and Y. Baba, "Skill ontology-based model for Quality Assurance in Crowdsourcing", Workshop on Uncertain and Crowdsourced Data (UnCrowd), DASFAA, Bali, Indonesia, 04/2014. Abstract  Download: DASFAA14_UnCrowd_2.pdf (100.82 KB)
L
Löser, A., C. Tempich, B. Quilitz, W. - T. Balke, S. Staab, and W. Nejdl, "Searching Dynamic Communities with Personal Indexes", 4th International Semantic Web Conference (ISWC 2005), Galway, Ireland, 2005. Abstract  Download: iswc05.pdf (308.29 KB)
Löhr-Richter, P., "The Software Development Process captured in an Object Oriented Frame", Proc1 ERCIM Workshop on Development and Transformation of Programs, Nancy, Frankreich: Inria Lorraine & Crin-Cnrs, pp. 163-173, 1993. Abstract
Lofi, C., K. E. Maarry, and W. - T. Balke, "Skyline Queries in Crowd-Enabled Databases", Int. Conf. on Extending Database Technology (EDBT), Genoa, Italy, 03/2013. Abstract  Download: 13_edbt_final2.pdf (1.31 MB)
Lofi, C., K. E. Maarry, and W. - T. Balke, "Skyline Queries over Incomplete Data - Error Models for Focused Crowd-Sourcing", 32th Int. Conf. on Conceptual Modeling (ER), Hong Kong, China, 11/2013. Abstract  Download: paper_118.pdf (977.04 KB)
Lipeck, U. W., "Stepwise Specification of Dynamic Database Behaviour", Proc1 1986 ACM-SIGMOD Int1 Conf1 on Management of Data, pp. 387-397, 1986. Abstract
Lipeck, U. W., H. - D. Ehrich, and M. Gogolla, "Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic", Proc IFIP Working Conf on Theoretical and Formal Aspects of Information Systems: North-Holland, Amsterdam, pp. 145-157, 1985. Abstract  Download: 1985TFAIS.pdf (602.54 KB)
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)
K
H
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 N. Vlachantonis, Spezifikation einer Fertigungszelle mit TROL1 \it light, : Technische Universität Braunschweig, Informatik-Bericht, 93-11, pp. 27-41, 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
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
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)