Wissenschaftliche LiteraturInformationssystemeInformatik
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Jörn Mordau
Die Integration formaler Methoden zur Spezifikation von Informationssystemen
Studien zur Datenbankforschung
Informationssysteme sind komplexe Gebilde, die eine Vielzahl logischer Interdependenzen aufweisen. Der adäquate Umgang mit diesen logischen Abhängigkeiten ist für die Qualität des Endproduktes von entscheidender Bedeutung. Die Verwendung formaler Methoden, die auf der Mengenlehre und der Prädikatenlogik erster…
dynamische Integritätsbedingungenformale MethodeInformatikInformationssystemePrädikatenlogikSpezifikationMatthias Klusch
Kooperative Informationsagenten im Internet
Forschungsergebnisse zur Informatik
Die Arbeit liefert einen Ansatz für eine rational kooperative Informationssuche in einer Menge von heterogenen und autonomen Datenbanken. Dabei werden erstmals Methoden aus den verschiedenen Forschungsgebieten der verteilten künstlichen Intelligenz, der terminologischen Wissensrepräsentation und der…
DatenbankenFCSIInferenzInformatikInformationsagentenInformationssucheIntelligente SoftwareagentenInterdatenbankabhängigkeitInternetKooperationKooperative InformationssystemeRationale KooperationJürgen Feldkamp
Kontextermittlung und -berücksichtigung in Hypertextinformationssystemen
Forschungsergebnisse zur Informatik
In dieser Arbeit wird ein neuer Ansatz vorgestellt, der das Problem der unvollständigen Vernetzung innerhalb von großen Hypertextinformationssystemen wesentlich verringert. Es werden zusätzliche Navigationsmöglichkeiten hergeleitet, die den Hypertext dynamisch um die "fehlenden" Verbindungen ergänzt. Die Herleitung…
BenutzerspezifikationGenerierungHyperlinkHypertextInformatikInformationskontextKontextermittlung