Informatik Forschung und Entwicklung

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Formale Konsistenzsicherung in informellen Software-Spezifikationen
Informatik Forschung und Entwicklung - Tập 19 - Trang 17-29 - 2004
Jan Scheffczyk, Christiane Stutz, Uwe M. Borghoff, Johannes Siedersleben
Die Spezifikation ist die Grundlage für den Erfolg eines Software-Projekts. Der Praktiker konzentriert sich hier i.d.R. auf die größte Herausforderung: die vollständige und inhaltlich korrekte Erfassung aller Anforderungen an das zu erstellende Software-System. Dass Spezifikationen für große Systeme aus vielen Dokumenten verschiedener Ausprägung in Form und Inhalt bestehen, tritt dabei meist in de...... hiện toàn bộ
Aufbau und Realisierung des MeDoc-Volltextspeichers
Informatik Forschung und Entwicklung - Tập 13 Số 3 - Trang 122-131 - 1998
Cornelia Haber, Jochen Meyer, Ricarda Weber
Editorial zum Themenheft: ,,Modellierung“
Informatik Forschung und Entwicklung - Tập 20 Số 1-2 - Trang 1-2 - 2005
Wolfgang Hesse, Bernhard Rumpe
SFB 627 – Umgebungsmodelle für mobile kontextbezogene Systeme
Informatik Forschung und Entwicklung - Tập 21 - Trang 105-113 - 2006
Kurt Rothermel, Thomas Ertl, Dieter Fritsch, Paul J. Kühn, Bernhard Mitschang, Engelbert Westkämper, Christian Becker, Dominique Dudkowski, Andreas Gutscher, Christian Hauser, Lamine Jendoubi, Daniela Nicklas, Steffen Volz, Matthias Wieland
Computersysteme, wie wir sie heute kennen, passen sich typischerweise nicht an den Benutzer und dessen Situation an. Erste Beispiele von Systemen, die durch den Bezug zur Realwelt den Kontext des Benutzers einbeziehen, sind Navigationssysteme, die unter Berücksichtigung der Position eines Benutzers und der Verkehrslage Richtungsanweisungen geben können. Damit innovative kontextbezogene Anwendungen...... hiện toàn bộ
Auswertung von elektromyographischen Signalen zur Steuerung von Exoskeletten
Informatik Forschung und Entwicklung - Tập 22 - Trang 173-183 - 2008
Christian Fleischer, Armin Zimmermann
Diese Arbeit stellt ein Modell und ein System zur Steuerung von Exoskeletten mit Hilfe von elektrischen Signalen vor, die an den Muskeln des Benutzers gemessen werden. Anhand dieser Signale wird der eigene Drehmomentbeitrag des Benutzer zur gewünschten Bewegung abgeschätzt, und ein einstellbarer Faktor bestimmt das vom Exoskelett hinzugefügte Drehmoment in Bezug auf den Beitrag des Benutzers...... hiện toàn bộ
Erlösformen für Web-Content und -Services
Informatik Forschung und Entwicklung - Tập 18 - Trang 165-173 - 2004
Dietrich Boles, Cornelia Boles, Markus Schmees
In diesem Artikel werden verschiedene Erlösformen für den Handel mit Web-Content und -Services vorgestellt, bewertet und miteinander verglichen. Ziel des Artikels ist es, auf der einen Seite Anbietern von digitalen Produkten und Dienstleistungen Möglichkeiten aufzuzeigen, wie sie Einnahmen erzielen können, und auf der anderen Seite WWW-Nutzer darauf einzustellen, dass und in welcher Form sie in Zu...... hiện toàn bộ
Ein Hoarding-Verfahren für ortsbezogene Informationen
Informatik Forschung und Entwicklung - Tập 16 - Trang 189-199 - 2001
Uwe Kubach, Kurt Rothermel
Mit der zunehmenden Verbreitung mobiler Endgeräte wächst auch der Bedarf in mobilen Umgebungen auf entfernt gespeicherte Informationen zuzugreifen. Da dieser Informationszugriff meist über drahtlose Netzwerke erfolgt, treten in mobilen Informationssystemen häufig Probleme wie geringe Bandbreite, große Verzögerungen oder Verbindungsausfälle auf. Hoarding-Verfahren versuchen diese Probleme zu lösen...... hiện toàn bộ
Datenstrukturen visualisieren und animieren mit DDD
Informatik Forschung und Entwicklung - Tập 16 - Trang 65-75 - 2001
Andreas Zeller
Der graphische Debugger DDD ist mit mehr als 250.000 Anwendern ein weitverbreitetes Werkzeug zur Softwarevisualisierung. Neben der für Debuggerüblichen Funktionalität ermöglicht DDD die Visualisierung von Datenstrukturen im laufenden Programm. DDD kann verzeigerte Strukturen (wie Listen oder Bäume) als Graphen darstellen, aber auch numerische Felder zwei- oder dreidimensional darstellen und im Pr...... hiện toàn bộ
Informationsfusion auf heterogenen Datenbeständen
Informatik Forschung und Entwicklung - Tập 17 - Trang 112-122 - 2014
Oliver Dunemann, Ingolf Geist, Roland Jesse, Gunter Saake, Kai-Uwe Sattler
Die Informationsfusion als Prozess der Integration und Interpretation heterogener Daten mit dem Ziel der Gewinnung von Informationen einer neuen, höheren Qualität eröffnet eine Vielzahl von Anwendungsgebieten. Dabei erfordert dieser Prozess eine enge Verzahnung der bislang häufig noch isoliert vorliegenden Werkzeuge und Techniken zum Zugriff auf heterogene Datenquellen, deren Integration, Aufbere...... hiện toàn bộ
Projekt Chablis – Abrechnungs- und Zahlungskonzepte für Dienstleistungen digitaler Bibliotheken
Informatik Forschung und Entwicklung - Tập 13 - Trang 169-172 - 1998
Anne Brüggemann-Klein, Albert Endres, Eike Jessen, Ricarda Weber, Horst Werner
Tổng số: 252   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10