Das Verhalten eines mobilen Systems wird bestimmt durch seine Architektur (statische und dynamische Anteile, Softwareverteilung), die zu Grunde liegende Netzwerkinfrastruktur (Topologie, Parameter wie Bandbreiten oder Latenzzeiten) und Interaktionen der Benutzer mit dem System. Um bereits zur Entwurfszeit zu bestimmen, ob ein mobiles System nichtfunktionale Anforderungen wie Antwortzeiten oder ...

Durch die zunehmende internationale Zusammenarbeit und wirtschaftliche Verflechtung ist der Bedarf an Übersetzungen von Fachtexten in den letzten Jahren ständig gestiegen. So ist es verständlich, daß gegenwärtig ein starkes Interesse an effizienten Werkzeugen zur Unterstützung des Übersetzungsprozesses bzw. an Maschineller Übersetzung besteht. Ein multilinguales Textkorpus (eine Sammlung von Te...

Bedarfsorientierung und Qualitätssteigerung von Verwaltungsdienstleistungen sollen mit Hilfe von E-Government durch die sinnvolle Integration mehrerer Verwaltungsleistungen oder –kontakte erfolgen. Dieser als Prozessketten bezeichnete Ansatz umfasst mehrere Integrationsprinzipien, bei denen entweder die durchgängige Unterstützung von Wertschöpfungsketten im Unternehmen oder der Abbau von Bürokr...

Neben der angemessenen Präsentation und der intuitiven Exploration virtueller Objekte stellt sich oft auch die Frage, in welchen Zusammenhängen ein Objekt zu anderen Objekten, Prozessen oder weiteren Daten steht und wie Analyseergebnisse medial vermittelt werden können. Dieser Vortrag beschäftigt sich daher mit „Immersive Analytics“ Methoden und deren Anwendung zur Analyse und zum Aufzeigen von...

Many variants of evolutionary algorithms have been designed and applied. The experimental knowledge is immense. The rigorous analysis of evolutionary algorithms is di/cult, but such a theory can help to understand, design, and teach evolutionary algorithms. In this survey, 0rst the history of attempts to analyse evolutionary algorithms is described and then new methods for continuous as well as...

© AFCET, 1989, tous droits réservés. L’accès aux archives de la revue « Modélisation mathématique et analyse numérique » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de cop...

Noises: a nonstandard analysis. Thanks to the nonstandard formalization of fast oscillating functions, due to P. Cartier and Y. Perrin, an appropriate mathematical framework is derived for new non-asymptotic estimation techniques, which do not necessitate any statistical analysis of the noises corrupting any sensor. Various applications are deduced for multiplicative noises, for the length of t...

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Die Anforderungsermittlung der Benutzerschnittstelle ist eng mit ihrem Design verbunden. In diesem Artikel erläutern wir, welches Vorgehen sich in der Praxis bei sd&m bewährt hat. Wir beschränken uns dabei auf zwei Aspekte: Weshalb ist Anforderungsermittlung und Spezifikation miteinander verschränkt und welche Techniken sind am effektivsten, um zu prüfen, ob ein eine Spezifikation und insb. das...