SOFTWARE

Autor: VILLALOBOS ABARCA MARCO ANDRES.
Jahr: 2003.
Universität: POLITÉCNICA DE MADRID [www.upm.es].
Ort der Lesung: FACULTAD DE INFORMATICA.
Ort der Vorbereitung: FACULTADA DE INFORMATICA.

Inhaltsangabe: Diese These definiert wurde ein Modell für die Entwicklung von Sofwarre Education Curriculum (MDSWEC) Ansatz und eine kollaborative Arbeitsumgebung, die dieses Modell. Zunächst definiert eine generische kooperative Modell basiert auf einer Reihe von theoretischen Ansätzen, die im Wesentlichen Systemen Arbeit Collaborative Soportador Computer (Computer Supported Cooperative Work [CSCW]). Grundlegenden Komponenten des Modells sind comceptos von der Aktivität, Karriere Aktivitäten Pocedimiento Collaborative und die Beziehungen zwischen ellos.El modelocolaborativo ist spezialisiert auf die Entwicklung von SWEC durch die Definition eines Prozesses und Ausrüstungen, die Entwicklung dieser Art von aplicaciones.El und Ausrüstung wurden aus Die Untersuchung der Grundlagen der enseañanza rechnergestützte (Computer Assisted Learning [CAL]), und einige Vorschläge demodelos zu entwickeln SWEC.El generische Modell wurde im Vergleich mit den entsprechenden Arbeiten zu identifizieren Beziehungen und unsere Stärken zu verbessern. Die Umwelt, die Synergie, ein multidisziplinäres Team zu entwickeln SWEC können dediversos Kommunikation Mechanismen (wie Videokonferenzen oder Chat); Verwaltung der Überwachung der actimvidades Team und die einzelnen, im Sinne der Definition, Visualisierung und Ausführung Modell Entwicklung (Zug / Aufgabe ), Um eine Gruppe Bewusstsein von der losintegrantes der Entwicklung Team durch Anmerkungen im Zusammenhang mit den Aktionen auf Geräte in einer bestimmten Zeit oder durch motificacinoes des Auftretens der Ereignisse in den Entwicklungsprozess der SWEC und erfassen Informationen des Entwicklungsprozesses comotambión Artefakte des Produkts und seiner Geschichte, in einem basr Daten. Sinergí wurde die Entwicklung durch eine evolutionäre Prototyping Ansatz für das Web und mit einer dreistufigen Struktur, die mit Technologien wie HTML.Sevelts, JSP, und erniedrigen relationale Daten. Darüber hinaus hat jeder iterción Prototyp getestet wurde für die Funktionalität und Benutzerfreundlichkeit, die erlaubt, ihre mejora.Además von Beweismitteln die Umwelt wurde compardo mit traabajo realcinado identifiziert Stärken und Schwächen, die damit ihre mejora.Finalmente, entornpo führte eine summative Evaluation zu prüfen, ihre praktische Nutzen Und die Gültigkeit der Vorschläge sutentan estetrabajo Forschung. Das Modell und seine emfoque Zusammenarbeit zugrunde (in seinen verschiedenen Komponenten) haben bewiesen, ujn starke generische und neuartige Mechanismus coordinación.El Modell ist die Grundlage der Architektur und dimámica System Synergy, dass zusätzlich zu den integrierten Kommunikation Mechanismus, der Wahrnehmung und Gedächtnis, und Definition von Prozessmodellen ein Umfeld nützlich und effektiv Paar Unterstützung der Entwicklung der Zusammenarbeit.

Autor: SIERRA RODRÍGUEZ JOSÉ LUIS.
Jahr: 2003.
Universität: COMPLUTENSE DE MADRID [www.ucm.es].
Ort der Lesung: FACULTAD DE INFORMÁTICA.
Ort der Vorbereitung: FACULTAD DE INFORMÁTICA UCM.

Inhaltsangabe: Diese These vertreten die Machbarkeit der Produktion von Anwendungen durch die automatische Verarbeitung von Dokumenten, die Öffnung, so daß der Weg zu dem, was als Paradigma Dokumentarfilm Anwendungen am Bau. Die Entwicklung einer Anwendung, nach diesem Paradigma beginnt mit einer Beschreibung ihrer wichtigsten Aspekte über ein oder mehrere Dokumente. Weiter, diese Dokumente sind geprägt von einer beschreibenden Markup, hängt von der jeweiligen Domain und die Funktionalität der Anwendung. Die Anwendung selbst ist die Verarbeitung in der Dokumentation mit einem Prozessor geeignet für die verwendete Sprache in der Kennzeichnung von der gleichen. Die Entwicklung dieser Arbeit ist in fünf Phasen: * RAHMEN DER DISSERTATION Diese Überprüfung wesentlichen Aspekte der beschreibenden Markup-Sprachen, ihre Prozessoren, sowie der Ansatz für die Software-Entwicklung auf der Grundlage eines bestimmten Domain-Sprachen. Die Rolle der beschreibenden Markup-Sprachen, die diese These ist, dass ausdrücklich die logische Struktur der Anwendungen Dokumentation. Auf diese Weise werden die Sprachen erlauben Prozessoren zu produzieren Dokumentation der Anwendungen. Auf diese Weise werden die Sprachen erlauben Prozessoren zu produzieren Anwendungen von solchen Dokumentation. Schließlich werden Aspekte im Zusammenhang mit der Angleichung auf bestimmten Sprache legt den Grundstein für die Entwicklung und Operationalisierung von Markup-Sprachen, die in jeder Anwendung Domäne. * FORUMULACIÓN ANGLEICHUNG DER LAUTET Angleichung LAUTET (Documentary Approach to Software Development) ist eine pragmatische Umsetzung Paradigma Dokumentarfilm, der je nach der Sprache, um Dokumente zu kennzeichnen Anwendungen entwickeln sich entsprechend den Bedürfnissen sowohl der Experten, die diese Dokumente, wie die Entwickler dieses Prozesses . * DER FORMEL MODELL OPERACIONALIZACIÓN OADDS Die sich ändernde Art der Markup-Sprachen, in LAUTET reflektiert, auf der operativen Ebene, in einem Modell der entwicklungsorientierten Verarbeitung inkrementelle Prozessoren Modulatoren von Komponenten, die erweitert werden kann und wie die Sprache, kombiniert entwickelt. Dieses Modell wird als OADDS (Operationalisierung in LAUTET). * MAKING OADDS ALS RAHMEN ORIENTADO OBJEKTE ZU OADDS ist unabhängig von der konkreten Umsetzung Technologien. Allerdings, in dieser These, dass Modell ist praktisch und macht einen direkten und kompakt wie ein objektorientiertes Framework. * DURCHFÜHRUNG DER LAUTET AN DEN BAU VON PROZESSOREN OADDS Im Gebäude OADDS Prozessoren können die gleichen Paradigma Dokumentarfilm zu beschreiben procesdores durch Dokumente markiert.

Autor: ESTEBAN ANGELES JUAN LUIS.
Jahr: 2003.
Universität: POLITÉCNICA DE CATALUÑA [www.upc.edu].
Ort der Lesung: FIB.
Ort der Vorbereitung: LLENGUATGES I SISTEMES INFORMATICS, CAMPUS NORD UPC.

Inhaltsangabe: Kapitel 1 stellt die meisten der Konzepte, die später genutzt werden. Wir beginnen mit der Erklärung der Herkunft der Komplexität der Demonstration. Dann definieren wir Systeme und Maßnahmen zur Demonstration der Komplexität als in dieser Arbeit. Komplexität auch reseñamos Ergebnisse der Demonstration und eine Liste unserer eigenen Ergebnisse. Kapitel 2 befasst sich mit den Ergebnissen von Größe für die Auflösung, R (k), Trockner und Pläne, die auch den unteren Ebenen des Raumes und höher, wenn sie sich beziehen, die Trennungen zwischen verschiedenen Systemen oder zwischen Demoversionen von einem großen Baum und demselben System Demonstration. Kapitel 4 ist kurz, und es recapitulamos unsere Ergebnisse legen nahe, und Probleme im Zusammenhang mit unserer Arbeit, die wir als interessant. Es erscheint auch eine Tabelle mit den oberen und unteren Grenzen der Größe und Raum auch unsere Ergebnisse. Diese Tabelle enthält sehen, was sind unsere Beiträge für die Komplexität der Demonstration. Die Ergebnisse erschienen in [BEGJ]. In diesem Abschnitt werden wir die Trennung zwischen Versionen Baum und allgemeine Auflösung und Flat Trockner. Um dies zu tun, erweitern wir einen niedrigeren Grenzwert für die Größe der Schaltung Boolean monotonen Ran und McKenzie Schaltungen real eintönig. Diese Art der Trennung ist interessant, weil viele Demonstranten automatische theorems basieren auf den Baum Demo-Version, und zeigt, dass die Trennung ist nicht immer eine gute Idee, die eingeschränkte Version Baum. Was wir machen, ist demonstrieren exponentiellen unteren Ebenen für die Flat Trockner Baum für bestimmte Formeln mit Eigenverantwortung für die monotone Interpolation möglich, die wiederum niedrigere Grenzen für die Auflösung Baum. Um die Trennung zeigte höhere Auflösung Polynom in den gleichen Formeln, die wiederum zu höheren Höhen Flat Trockner. In der Tat, nicht nur geteilt Auflösung Auflösung Baum auch Split-Auflösung Baum bestimmte Beschränkungen Auflösung Auflösung als normale und negative. Die Trennung zwischen Auflösung und Auflösung Baum wurde in der Folge durch BenSasson, Impagliazzo und Wigderson. Der dritte Abschnitt zeigt eine Beziehung zwischen R (2) und Widerlegungen in der Entschließung Prinzip Schubfachprinzip. Das Ergebnis ist nicht veröffentlicht. Wir zeigen, dass die unteren Ebenen der R (2) für die Top Schubfachprinzip mit palomares yn n ^ (1.5) bietet Tauben untere Grenze für die Auflösung Prinzip Schubfachprinzip mit palomares und n * n Tauben. Es wurde ein neuer Versuch zur Lösung eines Problems offen für eine lange Zeit. Natürlich wissen wir nicht, ob dieser Ansatz hätte es einfacher Demonstration, sondern als Raz und Razborov das Problem gelöst, während er selbst arbeitete in der Verzicht auf eine solche Angleichung. Der vierte Abschnitt heißt "Sixe und Treelike (R) k. Die Ergebnisse wurden veröffentlicht in [EGM]. Wurde bekannt, dass R (2) wurde mehr als potenter Auflösung R-Baum (2) mehr als potenter Auflösung Baum daher eine natürliche Frage war es, herauszufinden, ob Sie könnte beiseite Zukunft Ebenen der R (k) oder R (k)-Baum. Zeigen exponentiellen Trennungen zwischen aufeinanderfolgenden Ebenen aus, die wir ziehen können die Hierarchie R (k)-Baum. Dies bedeutet, dass es Formeln erfordern rebuttals in R (k) in der Größe exponentiell, während die Größe haben rebuttals Polynom in R (k 41). Dies gilt auch Trennung zwischen R (2) Baum zu Baum und Verwandte Resolution zu diesem Ergebnis, Segerlind, Biss und Impaglilazzo zeigte, dass R8k) ist eine Hierarchie im Hinblick auf die Größe, die unser Ergebnis. Auch gezeigt, dass R81) dominiert R8k) Baum. Ist ein besonderer Fall einer Simulation von Krajicek, aber wir zeigen, dass eine Erhöhung um mehr als den Faktor 2, unabhängige k genug.

Autor: BALLIS DEMIS.
Jahr: 2004.
Universität: POLITÉCNICA DE VALENCIA [www.upv.es].
Ort der Lesung: DEPTO. DE MATEMÁTICA E INFORMÁTICA.
Ort der Vorbereitung: DEPTO. SISTEMAS INFORMÁTICOS Y COMPUTACIÓN.

Inhaltsangabe: Die zunehmende Komplexität der Software und der Systeme hat dazu geführt, dass die Entwicklung von Methoden für die formale Verifikation und Korrektur von Daten und Programmen. Generell, wenn ein Programm gesetzt verhält sich entsprechend den ursprünglichen Absichten der Entwickler oder die Konsistenz und Korrektheit der großen Datenmengen sind nicht triviale Aufgaben, die anhand zahlreicher Fallstudien, in der Literatur. In dieser Arbeit haben wir zwei Fragen offen für die Prüfung und Korrektur. Konkret, die Prüfung und Korrektur von deklarative Programme und die Überprüfung und Korrektur von Websites (dh Datensätze halb). Erstens, es hat einen allgemeinen Rahmen für die automatische Korrektur Programm basiert deklarative Regeln, das eine Kombination von induktiven Lerntechniken von oben nach unten und von unten nach oben. Unsere Methode ist in der Lage, hybride unteren Korrekturen, die schwierig, wenn nicht gar unmöglich, zu erreichen mit einem System einfacher automatische Lernen rein von oben nach unten oder von unten nach oben. Es wurde auch detailierte allgemeinen Überblick zwei deklarative Programmierung Paradigmen bekannt: die funktionale Paradigma logische und funktionale Paradigma. Zweitens hat sie formell einen Rahmen für die Überprüfung der autonomen Websites, die benutzt werden können, um hinsichtlich der Integrität über sie, und dann automatisch überprüfen, ob diese Bedingungen erfüllt sind. Auf der einen Seite haben wir eine Spezifikation definiert Sprache auf der Grundlage von Regeln, mit denen Sie definieren beide syntaktischen und semantischen Eigenschaften einer Website. Außerdem hat sie eine Überprüfung formalisierte Technik, die erkennt Muster falsch / verboten und der Mangel an Informationen, dh Webseiten unvollständig oder nicht vorhanden. Während der Überprüfung, enthält nützliche Informationen, die verwendet werden kann für die Instandsetzung des Portals. Daher muß nach der Überprüfung Phase ist es auch möglich zu schließen, einige mögliche Korrekturen für das Halbfinale automatisch beheben der Website falsch. Unsere Methode basiert auf einer neuen Technik auf der Grundlage Umschreiben (teilweise Neufassung), der an die Stelle der traditionellen Mechanismus der Musterübereinstimmung mit einer technischen Anpassung bequemer (Baum Simulation), die die Anerkennung von Mustern in einem Halbfinale.

Autor: FUENTES FERNÁNDEZ RUBEN.
Jahr: 2004.
Universität: COMPLUTENSE DE MADRID [www.ucm.es].
Ort der Lesung: FACULTAD DE INFORMÁTICA.
Ort der Vorbereitung: FACULTAD DE INFORMÁTICA.

Inhaltsangabe: Die Methoden des Software-Engineering-Oriented Agents (ISOA) haben sich die sozialen Fragen und die vorsätzliche Systems Multi-Agente (GHS) mit traditionellen Methoden der Entwicklung, von anderen Paradigmen, oder mit speziellen technischen Fokus auf isolierte Parzellen diese Aspekte. Doch solche Lösungen nicht zufriedenstellend sind. Die erste Option ist nicht ganz geeignet für diese Art von Dingen, die außerhalb der traditionellen Artefakte des Software Engineering. Die zweite hat dazu geführt, dass ein Problem mit der Sozial-und Arbeits-intentionale Eigenschaften, die vielen Facetten der GHS. Zur Bewältigung der Probleme im Umgang mit diesen Eigenschaften, diese These vor, die Verwendung einer integrativen Rahmen, der auf die sozialen Aspekte und vorsätzliche von Formgedächtnislegierungen als Ganzes, sowohl individuell als auch in Gemeinschaft. Dieser Rahmen ist in Anlehnung an die Theorie der Tätigkeit (CA). Dies ist ein Vorschlag, die konzeptionellen und methodischen wird für die Analyse von Individuen und Gesellschaften im sozialen Disziplinen. Die TA studiert Eigenschaften ähnlich denen sich unser Interesse an der ISOA, sondern in der menschlichen Gesellschaft. Beginnend mit dem Wissen und den Techniken der TA definiert worden Modellierung Sprachen und Strukturen zu vertreten Kenntnisse der TA, sowie die Methoden zur Erfassung von Informationen und die Lösung von Unstimmigkeiten in den Spezifikationen von Formgedächtnislegierungen. Diese Methoden sind als Werkzeuge für die bestehenden Methoden in der ISOA. Die Entwicklung Zyklus Methodik ist eine permanente Aufgabe Übersetzung der Spezifikationen für die Konzepte, die mit der TA, Eroberung neuer Kenntnisse und / oder Prüfung konzentrierte sich auf die sozialen Aspekte und vorsätzliche GHS und Übersetzung zurück zur Methodik Agenten. Auf diese Weise können Entwickler arbeiten auf dem System mit den Techniken, die sie wünschen: Die Methodik des ISOA oder denen der TA. Zur gleichen Zeit genießen die Unterstützung eines Körpers von Wissen auf der Grundlage der Sozialwissenschaften zu arbeiten konsequent mit den Problemen des Paradigmas der Agenten, wie Motivation, Organisation, Leitung Entwicklung, kognitive Fähigkeiten, Lernen, Gesetze oder Vertrauen.

Autor: PEREZ CAMAÑO JUAN LUIS.
Jahr: 2004.
Universität: POLITÉCNICA DE MADRID [www.upm.es].
Ort der Lesung: FACULTAD DE INFORMATICA.
Ort der Vorbereitung: FACULTAD DE INFORMATICA . UNIVERSIDAD POLITECNICA DE MADRID..

Inhaltsangabe: Diese Arbeit Dissertation beschreibt die Entwicklung eines EDV-Systems, die robuste und effiziente Art und Weise der Überwachung und Vorhersage der Luftverschmutzung für verschiedene Quellen. Die primäre Motivation für die Umsetzung wurde versucht eine Antwort auf die steigenden Anforderungen in Fragen der Luftqualität in der Umwelt-Behörden (EU, national, Gemeinschaft, Gemeinde, etc.), um ein System mit der Fähigkeit zur Vorhersage und Bewertung der Qualität der Luft Die Auswirkungen der verschiedenen Quellen, in eine operative und Echtzeit-Modus, der dazu beiträgt, um wirksame Strategien zur Verringerung der Umweltverschmutzung. Die hohe Komplexität und Nicht-Linearität der physikalischen, chemischen, biologischen, etc.presentes in atmosphärischen Dynamik erfordert den Einsatz von numerischen Modellen mit hoher Rechenleistung. In diesem Papier haben wir integrierte Modell MM5 (PSU / NCAR, USA) EMMO (Emissions-Modell, UPM, Spanien) und CMAQ (Gemeinschaft Multiskalen-Modellierung Air Quality System, EPA, USA). Der Prozess d eintegración hat Forschungs-und Entwicklungsarbeiten erforderlich, aus einer Reihe von Modulen zur Anpassung, die in der Regel zur Generierung konsequent in jedem der Input-Daten verlangt, dass sich die Forschung und Entwicklung von einer Reihe von Modulen Anpassung, der normalerweise zu generieren konsequent in den einzelnen genetischen Eintrag erforderlich für die verschiedenen Modelle. Für die Interpretation der gewonnenen Informationen hat sich ein ausgeklügeltes Informations-System, Analyse und Post-procesado, ermöglicht den Zugriff auf die Fülle von Informationen gesammelt, die genutzt jüngsten Fortschritte in der Informations-Technologie. Das Tool wurde entwickelt, die in verschiedenen Real-World-Anwendungen, bei denen es hat seine Nützlichkeit und Effizienz, zusätzlich zu prüfen, die Robustheit, Zuverlässigkeit und Robustheit durch Prozesse der Validierung und Kalibrierung.

Autor: ECHAGUE GUARDIOLA JUAN JESUS.
Jahr: 2004.
Universität: JAUME I DE CASTELLON [www.uji.es].
Ort der Lesung: E.S. TECNOLOGIA Y CIENCIAS EXPERIMENTALES.
Ort der Vorbereitung: E.S. TECNOLOGIA Y CIENCIAS EXPERIMENTALES.

Inhaltsangabe: Der Anstieg der Nachfrage für die Übertragung von multimedialen Anwendungen über paketvermittelte Netzwerke, wie z. B. das Internet, hat dazu geführt, dass eine Zeile in der Forschung in der Analyse der Bedingungen, die zu bieten "Quality of Service (QoS) für diese Anwendungen. Das Konzept ist QoS garantieren end-to-end Verzögerung, Paketverluste Prozentsatz, garanizar Bandbreite, und so weiter. Die QoS in der Paketvermittlung Netze hängt hauptsächlich von der Netzwerktopologie, der Algorithmus Planung Pakete, und der Fluß der Daten in das System. Der Algorithmus Planung Päckchen FIFO ist die am häufigsten verwendete in der paketvermittelte Netze wegen ihrer Einfachheit und Leichtigkeit der Umsetzung. Leider ist das Protokoll FIFO, auch wenn die Grenze Zuflüsse kann es zu Situationen, in denen man nicht einschränken oder Ende zu Ende Verzögerung und Größe der Puffer für die Speicherung der Pakete (instabile Situation im Netzwerk); imposibilitando die Möglichkeit, sicherzustellen, dass die maximale Sendezeit noch der Prozentsatz der pédida Paket. Diese These präsentiert Beiträge zur Verbesserung der Stand der Technik im Zusammenhang anális Stabilität Paketvermittlung Netze, die im Protokoll, die benutzt wird, für die Planung Päckchen FIFO. Das Modell ist häufig und zu reflektieren ihre Anwendung auf der Architektur des Internets und Integrated Services Digital Network.

Autor: LOPEZ PEÑA PEDRO.
Jahr: 2004.
Universität: POLITÉCNICA DE MADRID [www.upm.es].
Ort der Lesung: FACULTAD DE INFORMÁTICA.
Ort der Vorbereitung: FACULTAD DE INFORMÁTICA.

Inhaltsangabe: Die Software wird ein immer größerer Teil unseres täglichen Lebens, einschließlich der kritischen Fragen. Es gibt Techniken, die darauf abzielen, um eine kostenlose Software von Fehlern oder versuchen, eine Software Fehler verursachen könnte katastrophale Folgen haben. Die routinemäßige Verwendung dieser erfordert eine Taxonomie von Software Fehler. Es sind Klassifizierungen in verschiedenen Bereichen wie etwa in den Weltraum oder nuklearen Waffen, aber es ist eine Taxonomie von Softwarefehlern, die alle Arten von Software Fehler zufällig. Das Ziel dieser Arbeit ist es, eine klare und umfassende Taxonomie, die helfen wird, zu einem besseren Verständnis ihrer Herkunft und Software Ausfälle, establecientes die Grundlage für eine umfassende und systematische Analyse von Software und Lösungen für eine bessere fehlertolerante Software auf der Suche nach einem zuverlässigen und mehr Sicher. Diese Arbeit schlägt eine Taxonomie von Software Ausfälle, auf der Grundlage einer Analyse der Software Entwicklung auf der Grundlage der Klassifizierung der bestehenden Software Ausfälle. Diese Taxonomie von Software Ausfälle (TSF) bietet 4 Ansichten und Urteile unter 8 Dimensionen.

Autor: MONTERO MORENO SUSANA.
Jahr: 2004.
Universität: CARLOS III DE MADRID [www.uc3m.es].
Ort der Lesung: ESCUELA POLITECNICA SUPERIOR.
Ort der Vorbereitung: UNIVERSIDAD CARLOS III DE MADRID.

Inhaltsangabe: Die Art und Weise der Gestaltung Hypermedia an der Designerin durch eine Reihe von Phasen und Produkten. Allerdings, ein Designer, ob es nicht als Facharbeiter, könnte eine unzureichende Lösung zu einem bestimmten Problem, das Design kann schädlich für die Nutzer. Die Design Patterns sind ein solcher Mechanismus, mit dessen Hilfe sowohl entlasten Angriff auf neue Entwicklungen wie die Schwierigkeiten bei der Entscheidungsfindung für die Verbesserung der bestehenden Systeme, solange sie effizient integrieren, mit dem Design und zugänglich sind, wirksam auf die verschiedenen Mitglieder der Dem Entwicklerteam zu protokollieren. Um diese Mängel, das erste Ziel dieser Arbeit ist die Organisation Bewusstsein für die pdh, die Kriterien für die Einstufung, einen Katalog von Mustern, Muster der eine Sprache und ein Rahmen für die Integration mit dem Design Methoden, bei denen eine Reihe Schritt ein Leitfaden Annäherung auf der Grundlage Muster, die Umwandlung ermöglicht die Festlegung von Anforderungen Dienste Konzeption Modellierung, dank der Lösungen von den Arbeitgebern. Zusätzlich zur Automatisierung von diesem Toolkit hat vorgeschlagen, ein Modell der semantischen Repräsentation basiert auf Ontologien, das eine Verbindung zwischen der textlichen Darstellung des Musters durch Vermerke, die Muster sich gegenseitig verständlich zu Designern und Programme.

Autor: ROSSAINZ LOPEZ MARIO.
Jahr: 2004.
Universität: GRANADA [www.ugr.es].
Ort der Lesung: E.T.S. INGENIERIA INFORMATICA..
Ort der Vorbereitung: E.T.S INGENIERIA INFORMATICA.

Inhaltsangabe: Unter einer Atmosphäre des Parallel Objekte, ein Ansatz Programming Paradigma der Objektorientierung, wird vorgeschlagen, eine Methode zur Programmierung auf der Grundlage der Hochrangigen Parallel Kompositionen oder CPANs durch Klassen. Sie werden Modi der Kommunikation synchron, asynchron und Zukunft asynchrone Modell Objekte Parallelen, Muster der Kommunikation / Interaktion der vordefinierten strukturierten Ansatz, die Kapselung und Abstraktion der Objektorientierung, um die Wiederverwendbarkeit dieser Muster, zusammen mit einer Reihe von vordefinierten Einschränkungen Synchronisation zwischen Prozessen (Maxpar, Mutex und Sync). Sie erklärt, die Umsetzung der Mitteilung Muster am häufigsten verwendet, die durch die Anwendung der Methode, die eine Klasse Bibliothek, die verwendet werden könnten, in der Anwendungen in der Programmierung in C + + + und der Programmierung mit Standard POSIX Threads. Diese Forschung konzentriert sich auf die Methoden Structured Parallel Programming, schlägt eine neue Implementierung mit C + + + POSIX Threads Bibliothek und Programmierung Ansatz auf der Grundlage des Modells der Hochrangigen Parallel Kompositionen oder CPSNs von Corradi und Kollegen, die auf der Grundlage des Paradigmas der Objektorientierung Probleme zu lösen paralelizables mit einer Klasse von Objekten konkurrierenden Vermögen. Dieses Papier schlägt vor, eine Klasse Bibliothek, die dem Programmierer Muster der Kommunikation / oteracción am häufigsten verwendeten parallel Programmierung, insbesondere der Struktur der Pipeline, die das Muster und die Muster Baum Bauernhof in der technischen Gestaltung von Algorithmen, bekannt als Divide-et-impera-Strategie.

Autor: ARJONA FERNÁNDEZ JOSÉ LUIS.
Jahr: 2004.
Universität: SEVILLA [www.us.es].
Ort der Lesung: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA.
Ort der Vorbereitung: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA.

Inhaltsangabe: In den letzten Jahren ist die Website hat sich als einer der wichtigsten Informationen der Atemwege. Eine große Herausforderung für die Akteure Software hat sich mit diesem Betrag, kurz verwaltbare Daten zu extrahieren, Informationen mit Bedeutung. Dieser Prozess ist schwierig, und zwar aus folgenden Gründen: Erstens sind die Informationen auf der Website richtet sich an Verzehr durch den Menschen und nicht eine Beschreibung ihrer Semantik, die dazu beitragen würde, Agenten verstehen. Zweitens, der Bereich Web ändert sich ständig, die in der Regel hat Auswirkungen auf die Darstellung von Informationen, nicht aber in ihrer Semantik. Schließlich gibt es ein riesiges Archiv mit 4200 Terabytes an Informationen fertig zu werden, konsumiert werden. Die Mitglieder der Gruppe wurden verteilte Arbeiten in verteilten Systemen seit 1997. Genauer gesagt, sie haben sich auf Modelle der Interaktion Mehrparteien-Programmierer, die die geeigneten Mechanismen für die Beschreibung von komplexen Wechselwirkungen von einer konzeptionellen Sicht. Die Ergebnisse haben materialisiert Veröffentlichungen in den führenden Zeitschriften und Dissertationen. Die Forschung in diesem Bericht eröffnet eine neue Linie der Untersuchung in der Gruppe. Sein Ziel ist die Erleichterung der Planung und Durchführung von Software-Agenten. Derzeit ist diese Zeile investigaicón wird durch den Vorschlag Joaquin Pena, welche Mechanismen entwickelt werden, um die komplexen Wechselwirkungen in der Gesellschaft abstrakt Multi-Vertreter. In diesem Bericht stellen wir einen neuen Rahmen für die Sammlung von Informationen mit syntaktische Bedeutung des Internet. Die wichtigsten Vorteile sind: Semantik, die mit der extrahierten Informationen, die Verbesserung der Interoperabilität Agent: Verkehrs-Änderungen auf der Web-, die Förderung von Widerstandsfähigkeit: Darüber hinaus wird eine Trennung der Zuständigkeiten bei der Aufgabe, zu extrahieren, die Automatisierung der Entwicklung von verteilten Wissens Extraktoren. Schließlich ist die detaillierte Untersuchung der Arbeit an zeigt, dass unser Vorschlag stellt einen eigenständigen Beitrag.

Autor: VICENTE CHICOTE CRISTINA.
Jahr: 2005.
Universität: POLITÉCNICA DE CARTAGENA [www.upct.es].
Ort der Lesung: ESCUELA TÉCNICA SUPERIOR DE INGENIERIA DE TELECOMUNICACIÓN.
Ort der Vorbereitung: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA DE TELECOMUNICACIÓN.

Inhaltsangabe: Die Vielzahl der derzeit von Software ausgelöst, die Komplexität der Anwendungen, die Sie müssen entwickelt werden. Außerdem, da die Geschwindigkeit, mit der technologischen Fortschritte auftreten, vor allem in Bereichen wie Elektronik und Kommunikation, es unerlässlich ist, die Flexibilität der Anwendungen, die sie benötigen, um davon ausgehen, Macht, mit genügend Agilität, die ständigen Veränderungen, die durch den Markt. Außerdem ist es ebenso wichtig, die Erreichung dieses erhöhte Flexibilität nicht auf Kosten auf Kosten der anderen zu schaden, wie die Anforderungen in Bezug auf die Effizienz, Kosten oder Zeitpunkt der Bewerbung Entwicklung. Als Reaktion auf diese neuen Anforderungen, in der Vergangenheit haben neue Paradigmen der Softwareentwicklung bei denen beispielsweise Objektorientierte Paradigma, die Objektorientierte Aspekte, Regie Modelle, die Komponenten, mit Sitz in Produktlinien oder Paradigmen Programmierung Generativa und Visual Programming. Doch aus verschiedenen Gründen sind diese Vorschläge nicht gefunden eine übermäßige Akzeptanz im Bereich der Entwicklung von gemischten Hardware / Software (HW / Sw). Dies hat dazu beigetragen, den Mangel an Konsens über die Methodik und die Schreibweise verwendet werden, sowie das Fehlen von Werkzeugen, die in einem ganzheitlichen Art und Weise, den gesamten Lebenszyklus dieser Produkte. In der Tat, die sich momentan diese Systeme sind oft in einem sehr konzentrierten sich auf die Hardware, Software, Absteiger in den Hintergrund, die zur Sammlung von Mustern sehr effizient, aber in der Regel keine oder nur geringe Flexibilität oder wiederverwendet werden. Diese Arbeit schlägt vor, einen neuen Ansatz für die Entwicklung von Hw / Sw aus einer Perspektive mehr auf die Software und die auf die Verbesserung der Flexibilität und den Grad der Wiederverwendung von Anwendungen, ohne diese zu vernachlässigen andere Aspekte wie eficienci, Zuverlässigkeit oder Entwicklung. Dies zu tun, da eine gemischte Systeme Software ist die meleable, versucht zu analysieren, wie die Aufnahme von neuen Trends im Bereich der Softwareentwicklung können dazu beitragen, den Prozess des Aufbaus solche Systeme wie die Ergebnisse, dass es abgeleitet werden. Um sich auf die Erfahrungen, die durch die Umfrage Gruppe, die im Rahmen dieser Dissertation in der Entwicklung der verschiedenen Arten von gemischten Systeme Hw / Sw, und insbesondere Systeme Visual Information Processing (VIPS) Die Arbeit hier ist centará in diesem Antrag Domain, obwohl die Ergebnisse sind, bis zu einem gewissen Grad, direkt extrapolabies auf andere Bereiche wie die Kontrolle in Echtzeit oder die Systeme telecomuncación. Der Bericht beschreibt einige der ersten Arbeiten auf dem Gebiet der VIPS, die gedient haben und Unterstützung für die Entwicklung dieser Arbeit. Es beschreibt auch das übliche Verfahren für den Bau der Systeme und der Verbesserung der bestehenden Paradigmen in der Softwareentwicklung können zu ihrer Konzeption und Umsetzung. Auf dieser Grundlage wird eine neue Methodik für die Entwicklung VIPS verkörpert, in denen viele der Paradigmen wie zuvor beschrieben, und zu lösen, die darauf abzielt, zu einem großen Umfang, die Probleme und Einschränkungen von 8 verlief 3c3 rung heute. Die Arbeit wurde mit der Beschreibung des Werkzeugs IP - CoDER dessen Aufgabe es ist, zur Unterstützung der neuen Methode, die ermöglicht, die unter anderem die Integration einer Reihe von Tools und Bibliotheken der Bildverarbeitung derzeit auf dem Markt.

Autor: HAYA COLL PABLO ALFONSO.
Jahr: 2005.
Universität: AUTÓNOMA DE MADRID [www.uam.es].
Ort der Lesung: ESCUELA POLITÉCNICA SUPERIOR.
Ort der Vorbereitung: ESCUELA POLITÉCNICA SUPERIOR.

Inhaltsangabe: In den späten 80 Anstieg Ubiquitous Computing Mark Weiser schlägt vor, wenn Sie den Computer Kapazität der steif und sperrige PCs auf Tausende von Geräten, die sich über die Umwelt, so dass Computer sind mit der Umwelt, bis sie unsichtbar für den Benutzer. In Ubiquitous Computing - Interaktion Persona ordenador breitet sich im gesamten Raum, wodurch Umgebungen der Lage selbständig zu erwerben und sie auf die Bedürfnisse der Bewohner angepasst werden. Diese Interaktion zwischen der Umwelt und der Benutzer profitieren, wenn man Kontextinformationen wie die Lage, die Arbeit geschieht durch den Benutzer, andere Ressourcen in der Nähe, die ökologischen Bedingungen für die Umwelt, und so weiter. Diese implizite Verständnis der Situation macht es möglich, für die Umwelt reagiert mit einem hohen Maß an Dynamik, in einer Art und Weise, befreit den Benutzer darauf aufmerksam, wenn es nicht unbedingt erforderlich. Die Kombination von Kontextinformationen mit intelligenten Umgebungen hat eine Reihe von Komplikationen, die die Entwicklung der inhaltlichen sensible Anwendungen. Wir haben zu integrieren und zu verwalten eine heterogene Technologien, die es ermöglichen, erfassen, zu verteilen und zu ändern, den Kontext unter Berücksichtigung, dass diese kontextbezogene Informationen stammen aus Quellen unterschiedlicher Art, und das kann auf verschiedenen Ebenen der Abstraktion. Hinzu kommt, dass die Konfiguration der Umwelt ist dynamisch, so dass sie kommen und gehen, neue Komponenten der Umwelt. Das Ergebnis ist, dass die Entwickler von Anwendungen inhaltlichen Zusatzinformationen steht vor einer Kasuistik schwerfällig aufgrund der großen Anzahl der möglichen Konfigurationen. Der Vorschlag für diese These liegt in einer Schicht der Kontext, der als Klebstoff verwendet, um die notwendigen Synergien zwischen den Elementen, die die allgegenwärtigen Intelligente Umwelt. Er sieht vor: (a) eine Norm Vertretung der Kontext, die unabhängig von ihrer Art und Höhe der Abstraktion. Es bietet ein einheitliches Modell der Welt durch die Verringerung der Komplexität beim Zugang zu den Kontextinformationen. (B) Ein flexibler Mechanismus für die Speicherung und Verteilung von Informationen, erleichtert die Wiederverwendung und Konfiguration der verschiedenen Komponenten der Umwelt. Die Umsetzung der Schicht der inhaltlichen befindet sich in einer Datenstruktur namens der gesamten Schiefer. Dieses Board ist ein Modell der Welt, wo es gespeichert gesamte Kontext, die durch die Komponenten der Umwelt und in der gleichen Umgebung. Der Vorstand speichert die Informationen in Form eines Graphen, wobei jeder Vertex ist eine Einrichtung wie ein Benutzer, eine Anwendung, ein Gerät, Raum, usw.. Der Kontext ist vertreten durch eine gemeinsame Sprache, so dass nebeneinander auf der Tafel Informationen, die von den Sensoren --- als ein Zustand des physischen Geräte mit Kontext --- abgezogen aus dem sensorische Informationen, wie zB die Anzahl Menschen, die sich in der Umwelt, Oder die Aufgabe, die von einer Person zu einem bestimmten Zeitpunkt. Dank dieser Architektur bietet eine schwache Kopplung zwischen verschiedenen Komponenten auf drei Ebenen: zeitliche, räumliche und funktionale. Diese Anonymität ermöglicht die Verbindung oder Trennung von einer Komponente in der Umwelt ist in einer transparenten Weise für die Erholung. Die Schicht der Kontext, wird vorgeschlagen, wurde in einer realen Umgebung Intelligent ausgestattet als konventionelle Wohnzimmer eines Hauses, und zum Teil als Büro. Dieser Prototyp umfasst Geräte der verschiedenen Technologien, mehrere Anwendungen inhaltlichen Zusatzinformationen Benutzeroberflächen und zwei unterschiedliche Art, die sich automatisch generiert 8 Köpfe 2a9 basiert auf dem Modell der Umwelt auf der Tafel.

Autor: MORAGA DE LA RUBIA Ma. ANGELES.
Jahr: 2006.
Universität: CASTILLA-LA MANCHA [www.uclm.es].
Ort der Lesung: E.S.INFORMATICA.
Ort der Vorbereitung: ESCUELA SUPERIOR DE INFORMATICA CIUDAD REAL.

Inhaltsangabe: Die Tatsache, dass ein Portal wird die Qualität ist von entscheidender Bedeutung, weil es der einzige Mechanismus, um sicherzustellen, dass Benutzer haben Zugang zu it again (Offutt, 2002). Es sollte berücksichtigt werden, dass die Qualität war ein Thema der Forschung für eine lange Zeit und in verschiedenen Bereichen. Doch trotz dieser, die Qualität aus der Sicht der Web-Portalen, hat kaum behandelt worden. Daher ist es unser Ziel, diese Lücke zu füllen, indem sie ein hochwertiges Modell für Portale. Um dies zu erreichen, hochwertiges Modell, wird sich mit der Qualität von Websites aus zwei Blickwinkeln: die Qualität der internen und externen Qualitätskontrolle. Aus der Sicht der externen Qualitätskontrolle Ziel ist die Entwicklung eines Modells der Qualität für Portale, die auf der einen Seite, um festzustellen, das Niveau der Qualität einer bestimmten Website, abhängig von der Qualität Eigenschaften, die sie betreffen. Und zweitens, um die Schwächen des Standortes, um zu definieren, korrigierende Maßnahmen zur Verbesserung ihrer Qualität. Auf der anderen Seite, aus der Sicht der Qualität, die wir benutzen internen Websites entwickelt durch Aggregation der Portlets. Insbesondere im Rahmen dieser Arbeit konzentrieren wir uns auf die Qualität der einzelnen Portlets, die solche Portale, ohne die Interaktion zwischen Portlets, die das Portal. Deshalb wird es ein Modell entwickeln, die Qualität der Portlets, die auf der einen Seite, um das Niveau der Qualität eines bestimmten Portlet. Und auf der anderen Seite, wird festzustellen, was sind die Schwächen Portlet mit dem Ziel festlegen zu können korrigierende Maßnahmen für eine bessere Qualität der Portlet. Schließlich entwickeln wir ein Modell für die Auswahl von Portlets, mit denen Entwickler Websites zur Auswahl der besten Portlet unter einer Reihe von Portlets, die eine ähnliche Reihe von Funktionen für spezielle Aufgaben und Ziele der Benutzer.

Autor: GUENAGA GÓMEZ MARÍA LUZ.
Jahr: 2006.
Universität: DEUSTO [www.deusto.es].
Ort der Lesung: FACULTAD DE INGENIERIA.
Ort der Vorbereitung: FACULTAD DE INGENIERÍA.

Inhaltsangabe: Die Bedeutung der Zugänglichkeit und Nutzbarkeit im Internet wird im Hinblick auf die soziale, wirtschaftliche und persönliche für alle Beteiligten in der Definition, Entwicklung, den Betrieb und die Nutzung von Dienstleistungen und Produkten. Vor ein paar Jahren, das war eine optionale Web-Service, der einige Nutzer profitieren könnten. Heute ist es wichtig, für die verschiedenen täglichen Aktivitäten. In diesem neuen Kontext, die Menschen mit Behinderungen repräsentieren eine große Gruppe von Anwendern, mit spezifischen Eigenschaften zu berücksichtigen, bei der Gestaltung Technologie Produkte. Ihre Rolle verändert sich der Nutzer Informationen zu erhalten Manager und Administratoren. In estepunto wo Leitlinien für die Zugänglichkeit und Nutzbarkeit nicht erreichen, um den Bedürfnissen von Design-Tools wie einen Digital Resource Center, aus der Sicht des Content-Management-System. Das Benutzerprofil ist eine starke Wechselwirkung mit der Oberfläche, nicht üblich in der aktuellen Entwicklungen im Internet und behandelt eine große Menge von Informationen, complejay stark miteinander verknüpft sind, deren Zugänglichkeit wurde nicht in die bislang geleistete Arbeit. Dieses Papier beschreibt Design Patterns zugänglich und nutzbar Schnittstellen für Digital Resource Center, sondern kann auch auf andere Kontexte mit ähnlichen Merkmalen, der Interaktion und Information. Diese Leitlinien Ergänzung bestehender Unternehmen und Produkte richten sich an Anwender mit einer Sehbehinderung. Darüber hinaus enthält der Hierarchie der Arten von digitalen Ressourcen über Web-Seiten, deren Zugänglichkeit ist notwendig, zu untersuchen und zu verbessern. Dies ist im Zusammenhang mit jeder Art von Ressource eine Reihe von Metadaten, Attributen oder der Zugänglichkeit, die darauf abzielen, die digitale Ressource zu ersetzen, wenn er nicht zugänglich ist, bestimmte Informationen zu ersetzen oder zu ergänzen, wenn es nicht möglich ist, ihr Verständnis zu verbessern, indem der Benutzer mit Sehstörungen. Die Ergebnisse und Beiträge dieser Arbeit sind das Ergebnis einer Arbeit in enger Zusammenarbeit mit den Anwendern mit einer Sehbehinderung, über einen Web-Fragebogen, Telefon-Kontakt, E-Mail und Tests mit den Anwendern. Diese Methoden haben sich als sehr wertvoll zu wissen, die Realität dieser Gruppe, die Art, wie sie interagieren mit der Schnittstelle zu benutzen und Technologie zu machen direrentes Aufgaben.