| American and French Research on the Treasury of the French Language |
| French language resources |
| Labyrinth library French literature |
| Encyclopédie de Diderot et d'Alembert |
| Com citar documents electrà²nics |
| African Language Materials Archive |
| American Institute for Maghrib Studies |
| Data Intensive Intra- & Internet Applications - An Example Using Java and CORBA in the World Wide Web |
| Some problems in Arabizing LaTeX |
| Bidirectional line breaking with TeX macros |
| Using TeX as a tool in the production of a multi-lingual dictionary |
| Mole - Concepts of a Mobile Agent System |
| Towards a Unifying Theory of Context-Free Parsing (reprint of a paper from the first ASMICS workshop on parsing theory, Milano, October 1994) |
| Some Identities Related to Automata, Determinants, and Möbius Functions |
| Modelling interaction with HyTime |
| Parallaxis-III User Manual |
| Integrated Software-/Hardware Development System |
| Performance in Multiprocessor Systems |
| Entwurf und Realisierung einer Web-Oberfläche zum sicheren Fernzugriff auf Projektdaten |
| Spezifikation einer Steuerungssoftware für eine CAN-Bus gesteuerten Kraftfahrzeugtüre in SDL |
| Verwaltung von Benutzerprofilen mit Enterprise Java Beans |
| Visualisierung von Kommunikationsprotokollen mit Java |
| Specification and Implementation of an Extensible Multimedia System |
| Modelling Interaction with HyTime |
| Konzeption und Realisierung der dynamischen Erweiterbarkeit des MAVA-Systems |
| Entwicklung eines Editors zur Unterstützung der Organisationsverwaltung in Workflow-Management-Systemen |
| Konfiguration und interaktive Animation von Protokollen verteilter Systeme mit Hilfe des ProtoVis-Generators fuer Protokollmaschinen und des Visualisierungsbaukastens |
| New Concepts for Qualitative Trader Cooperation |
| Design and Implementation of a CORBA Query Service Accessing EXPRESS-based Data |
| Verwendung von Typen in Smalltalk |
| Persistenz als Basis der Migration in einem Mobile-Agenten-System : Design und Implementierung |
| Einsatzmöglichkeiten Künstlicher Neuronaler Netze zur Klangerkennung |
| Bewertung und Analyse der Spezifikationssprache DisCo |
| Bewertung und Analyse der Spezifikationssprache SpecCharts |
| Konstruktion eines Dolmetschers |
| Entwurf einer Supermarktstrategie für Trader-Kooperationen und Implementierung in MELODY |
| Konzeption und Realisierung einer Basismaschine für SESAM-2 |
| Type-Checking and Overloading-Resolution for Hoopla |
| Bewertung und Analyse der formalen Spezifikationssprachen LOTO und Esterel |
| Implementierung eines Eiffel-Compilers für SUN/SPARC |
| Eine Beschreibungssprache für Evolutionäre Algorithmen |
| Verteilte Evolutionäre Verfahren |
| Abhängigkeitsanalyse zur Unterstützung der Wartung für Smalltalkanwendungen |
| Implementierung einiger OAM-Funktionen zur Evaluation der Sprache SDL und des Frameworks ObjectGEODE |
| Implementierung eines modifizierten Variablenmodelles zur Vermeidung Parameter-induzierter Alias-Effekte auf Basis des GNU Ada 95 Compilers |
| Software-Komponenten fuer diagrammorientierte Anwendungen: Strukturverwaltung |
| Entwicklung und Umsetzung eines Systems zur räumlichen Platzierung von Objekten in VRML |
| Konzeption und Implementierung einer graphischen Benutzeroberfläche für ein Mehrbenutzerspiel auf der Basis von Mobilen Agenten |
| Integration von ODL und OQL mit dem Aktiven Semantischen Netz |
| Konzeption, Implementierung und Analyse von Verwürfelungsmechanismen für Quellcode |
| A SUIF Java Compiler |
| Spectral Envelopes in Sound Analysis and Synthesis |
| Die Modellierung und Steuerung eines Kunden- auftrags-Workflow im SAP R/3 mit Hilfe des SAP Business Workflow anhand eines Praxisbeispiels |
| Konzeption und Implementierung von Verfahren zur (halb-)automatischen Pruefung natuerlichsprachlicher Spezifikationen |
| Methoden zur Extraktion bilingualer lexikalischer Informationen aus Parallelkorpora |
| Entwicklung einer Basissoftware für internet-basierte 3D-Konfigurationssysteme |
| Entwurf eines verteilten, corbabasierten Dokumentensystems |
| Realisierung adaptiver Workflow-Konzepte im Anwendungsfeld von PoliFlow |
| Datenbasierte Methoden der Sprachsynthese |
| Enwicklung einer Roleplaying Definition Language (RPDL) |
| Korrektheit und deren Durchsetzung im Umfeld langdauernder Abläufe |
| Entwicklung einer agentenbasierten Werkzeugdisposition in einer verteilten CORBA-Umgebung |
| Thin HTML Clients auf Basis von Application Server Technologie |
| Konzeption und Realisierung eines Metrikenwerkzeugs für die Unified Modeling Language |
| Parallele Finite-Elemente Berechnung auf heterogenen Systemen |
| Ein graphischer Editor für ConTract-Scripte in APRICOTS |
| Modeling Computer Networks for Emulation |
| Eine Kontextverwaltung für APRICOTS |
| Konzepte und Techniken der Datenversorgung für komponentenbasierte Informationssysteme |
| Entwurf und Erprobung eines software-gestützten Verfahrens zur Anwendung software-ergonomischer Methoden in den frühen Phasen der Anwendungsentwicklung |
| A Semantic Description Language for Platform-Independent Graphical User Interfaces |
| On the Resolution of Bridging References within Information Extraction Systems |
| Ein Modellierungswerkzeug zur Integration von Aspekten zur Kompensation in Workflows |
| Location Models from the Perspective of Context-Aware Applications Mobile Ad Hoc Networks |
| Towards the Observation of Spatial Events in Distributed Location-Aware Systems |
| Die Verwendung von Workflow-Systemen und Web Services im Business Grid |
| Entwicklung eines Komponentensystems für Anwendungen in ubiquitären Rechnersystemen |
| Location Models from the Perspective of Context-Aware Applications and Mobile Ad Hoc Networks |
| Visualisierung und Prüfung von SESAM-Modellen |
| Werkzeuggestützte Herleitung von Protokollen |
| Document-Driven Black-Box-Testing |
| Leistungsbewertung verschiedener Ein-/Ausgabemethoden für XML- und Textformate am Beispiel von Geodaten |
| Entwicklung eines geräteübergreifenden Adaptionsmechanismus für komponentenbasierte Anwendungen in ubiquitären Rechnersystemen |
| Query Processing Concepts and Techniques for Set Containment Tests |
| Modellbasierter Ansatz zur Anwendungsintegration |
| Efficient Domain-Specific Information Integration in Nexus |
| Complexity results for checking distributed implementability |
| Benefits Of Integrating Meta Data Into A Context Model |
| Extraktion statischer Abhängigkeiten aus Ada95-Programmen mittels ASIS |
| Generic Role Assignment for Wireless Sensor Networks |
| Kontrollflussanalyse objektorientierter Programme |
| Inverse monoids: decidability and complexity of algebraic questions |
| Instrumentation of Java Program Code for Control Flow Analysis |
| Implementierung einer Anfrageschnittstelle für ASIS zur Generierung von IML |
| Champagne: Data Change Propagation for Heterogeneous Information Systems |
| Konzeption eines Propagationsmanager |
| Ambiguity functions of context-free grammars and languages |
| XPASCAL - eine Erweiterung der Sprache Pascal mit exakter Arithmetik |
| Generierung der Zwischendarstellung IML für Ada95 Programme |
| Modellierung und Automatisierung von Web Service Resourcen am Beispiel von BPEL Prozessen |
| An Analysis of Cross-Layer Interactions in Sensor Network Applications |
| Counterexample-guided Abstraction Refinement for the Analysis of Graph Transformation Systems |
| Polynomials, Fragments of Temporal Logic and the Variety DA over Traces |
| Transformable multi-agent Systems: A Specification Language for Cooperation Processes |
| Parallaxis-III-A structured data-parallel Programming Language |
| Integrating Data Changes with Data from Data Service Providers |
| Implicit specification of a distributed system configuration |
| Language-Derived Information and Context Models |
| Dynamische semantikbasierte Suche nach Web Services in parametrisierten BPEL-Prozessen |
| Entwicklung eines Monitoring-Tools zur Unterstützung von parametrisierten Web Service Flows |
| Erweiterung einer Workflow-Engine zur Unterstützung von parametrisierten Web Service Flows |
| Learning foreign languages by using a new type of orientation assistant for the blind |
| Generierung von BPEL mit Hilfe von koordinierten Kommunikations-Graphen auf Basis transaktionaler Protokolle für Web Services |
| Optimization of the Runtime Database of a BPEL Engine |
| Integration und Orchestrierung verteilter Informationssysteme mit Service-orientierten Architekturen |
| ChaPLin 3.2 - Ein Chartparser fuer linguistische Untersuchungen |
| Suchraumbeschränkung für relationales Data Mining |
| Semantische Interpretation natürlichsprachlicher Äusserungen für einen eingeschränkten Anwendungsbereich |
| Konzeption und Entwicklung einer AOP-fähigen BPEL Engine und eines Aspect-Weavers für BPEL Prozesse |
| Mustererkennung 1998 |
| TinyXXL: Language and Runtime Support for Cross-Layer Interactions |
| Improving Application Integration with Model-Driven Engineering |
| Versatile Support for Efficient Neighborhood Data Sharing |
| Ontology Reasoning With Large Data Repositories |
| Plattformunabhängige GUI - Testautomation |
| Analyse der Struktur von Software-Protokollen |
| Caching and Prefetching for Efficient Read Access to Multidimensional Wave Propagation Data on Disk |
| Meeting Lifetime Goals with Energy Levels |
| Schwierigkeiten für statische Programmanalysen in der Praxis |
| Anwendungsszenarien für BPEL-Prozesse |
| Compilation of SQL Stored Procedures |
| Entwicklung eines Modellierungswerkzeugs für Prozesskennzahlen |
| Visuelle Modellierung von kontextsensitiven Prozessen in ubiquitären Umgebungen |
| Graphische Modellierung von BPEL Prozessen unter Verwendung der BPMN Notation |
| Modeling Business Processes with BPEL4WS |
| Coordinate BPEL Scopes and Processes by Extending the WS-Business Activity Framework |
| Business processes for Web Services: Principles and applications |
| Enabling Technology: Ein J2EE-basiertes Business Process Management System zur Ausführung von BPEL- und Web Service-basierten Geschäftsprozessen |
| Refinement of enquiries in retrieval systems based on the universal relation model |
| UDH: A Universal Relation System |
| Modeling business processes with BPEL4WS |
| Choreography for the Grid: towards fitting BPEL to the resource framework |
| Repository for Business Processes and Arbitrary Associated Metadata |
| Generating Interactive Protocol Simulations and Visualizations for Learning Environments |
| Advanced Data Processing in KRISYS: Modeling Concepts, Implementation Techniques, and Client/Server Issues |
| Zielorientierte Geschäftsprozesse mit WS-BPEL |
| A Concept for Applying Model-driven Engineering to Application Integration |
| Entwurf und Implementierung eines Annotationswerkzeugs für die Erstellung von Baumbanken |
| BPEL4Chor: Extending BPEL for Modeling Choreographies |
| WSDL 2.0 Message Exchange Patterns: Limitations and Opportunities |
| Konzipierung und Entwicklung eines Repository für Geschäftsprozesse |
| BPEL light |
| Nautilus Event-driven Process Chains: Syntax, Semantics, and their mapping to BPEL |
| Fault Handling Across the Web Services Stack |
| Choreography Configuration for BPMN |
| A Graphical Tool for Modeling BPEL 2.0 Processes |
| Business process choreography in WebSphere: Combining the power of BPEL and J2EE |
| Parameterized BPEL Processes: Concepts and Implementation |
| Bewertung der BPEL-Modellierungsmöglichkeiten im ARIS Toolset |
| WSMO/X in the context of business processes: improvement recommendations |
| An Ontology for Executable Business Processes |
| BPEL for Semantic Web Services (BPEL4SWS) |
| Conceptual Design and Implementation of a BPEL light Workflow Engine With Support for Message Exchange Patterns. |
| Konzipierung und Implementierung eines BPEL light Editors mit Unterstützung für Message Exchange Patterns |
| Composing Services on the Grid Using BPEL4SWS |
| Seiteneffekte in Anwendungsfunktionalität: Aspekt- und Serviceorientierte Architekturen im Vergleich |
| WS-BPEL Extension for Semantic Web Services (BPEL4SWS), Version 1.0 |
| Extending BPEL light for Expressing Multi-Partner Message Exchange Patterns |
| Formalising Message Exchange Patterns using BPEL light |
| Protocol based Integration using SSDL |
| Transformation von BPEL Prozessen in ein verteiltes Ausführungsmodell |
| Optimization of BPEL/SQL Flows in Federated Database Systems |
| Towards Context-Aware Workflows |
| Variability Points in WS-BPEL Prozessen |
| Extraction of WS-Business Activity from BPEL 1.1 |
| Tuplespace-based Infrastructure for Decentralized Enactment of BPEL Processes |
| On the Choice Between Graph-Based and Block-Structured Business Process Modeling Languages |
| A Novel Approach to Decentralized Workflow Enactment |
| An EAI Pattern-Based Comparison of Spaces and Messaging |
| Ontology Based Data Mediation in BPEL (for Semantic Web Services) |
| Utilizing Semantic Web Service Technologies for Automatic Execution of Parameterized BPEL Processes. Demonstration at the XML Days 2006 |
| An Execution Engine for Semantic Business Processes |
| The role of business processes in service oriented architectures |
| Vergleich von BPEL-Workflow Modellierungstools |
| Aggregation von QoS und SLAs in BPEL Geschäftsprozessen |
| Vergleich von BPEL Laufzeitumgebungen |
| Mapping von EAI Patterns auf eine Middleware-Schicht (BPEL) |
| Pattern-based Evaluation of IBM WebSphere BPEL |
| Prototype for Executable EAI Patterns |
| Supporting business process fragmentation while maintaining operational semantics : a BPEL perspective |
| Exception Handling in the BPEL4WS Language |
| Web Service Choreography Configurations for BPMN |
| Ein Event-Modell für WS-BPEL 2.0 und dessen Realisierung in Apache ODE |
| Coordinating Distributed Loops and Fault Handling, Transactional Scopes using WS- Coordination protocols layered on WS-BPEL services |
| Facilitating Rich Data Manipulation in BPEL using E4X |
| A Method for Partitioning BPEL Processes for Decentralized Execution |
| On Visualizing and Modelling BPEL with BPMN |
| Abstract Syntax of WS-BPEL 2.0 |
| Semantic Business Process Management: Applying Ontologies in BPM |
| Modeling Service Choreographies using BPMN and BPEL4Chor |
| The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages |
| Deriving Explicit Data Links in WS-BPEL Processes |
| Resolving Data Heterogeneity Issues in Open Distributed Communication Middleware |
| Fragments of first-order logic over infinite words |
| Abbildung von EPKs nach BPEL anhand des Prozessmodellierungswerkzeugs Nautilus |
| Verschlüsselung und Signaturen in der kollaborativen Entwicklung von WS-BPEL Prozessen |
| Efficient and Distributed Detection of Situations |
| Extraction of BPEL Process Fragments in Eclipse BPEL Designer |
| Abstract Views on BPEL Processes |
| UML 2.0 Profile for WS-BPEL with Mapping to WS-BPEL |
| Interacting services: from specification to execution |
| The Influence of an External Transaction on a BPEL Scope |
| WS-Policy Editor - Ein Werkzeug zum Editieren, Normalisieren, Verschmelzen und Schneiden von Web-Services-Policies |
| Translating WS-BPEL 2.0 to BPELscript and Vice Versa |
| Vergleich von BPMN-Modellierwerkzeugen |
| Evaluierung verschiedener Szenarien zur Anwendung von BPEL und WS-CDL |
| Modeling and Runtime Support of Faults in Interaction Choreography Models |
| Events Make Workflows Really Useful |
| Generisches Web Service Interface um Simulationsanwendungen in BPEL-Prozesse einzubinden |
| Verfeinerung menschlicher Aktivitäten in Workflows |
| Erweiterung einer AOP-fähigen BPEL Engine um die Kompensation von eingewobenen Aktivitäten |
| Enabling Adaptation of Pervasive Flows: Built-in Contextual Adaptation |
| Enforcement from the Inside: Improving Quality of Business in Process Management |
| C language |
| Introduction to algorithmic and programming |
| C language |
| Oral presentation skills |
| On-line guide to CVs and cover letters |
| Object programming with UML and Java |
| Human Computer Interfaces |
| Natural Language Processing and Cognitive science |
| Paradigms and non classical languages |
| LES ACTIVITES D'EMPRUNT. Opérations de reprise et de (re)formulation dans la production d’un genre textuel en français L2, de compétence avancée, domaine roumain. |
| Multimodality in Second language Conversations Online: looking for a methodology |
| Accompagnement tutoral d’une formation collective via Internet - Analyse des effets de cinq modalités d’intervention tutorale sur l'apprentissage en groupes restreints |
| Developing online multimodal verbal communication to enhance the writing process in an audio-graphic conferencing environment |
| 03 - Signal : un langage pour le traitement du signal |
| 8 - Segmentation de défauts dans des images de radiographies industrielles |
| 6 - Segmentation automatique de la parole : pourquoi? Quels segments? |
| 7 - Vers une meilleure intégration de la parole dans des systèmes de communication homme-machine |
| 4 - Méthode d'évaluation des temps d'exécution de programmes cadencés par les données pour processeurs ?PD7281 |
| 6 - Implantation d'un synthétiseur à formants de Klatt sur le processeur ST18940 |
| 5 - Compost: un serveur de synthèse de parole multilingue |
| 2 - Regroupement optimal de capteurs en traitement du signal radar |
| 7 - Implantation VLSI de l'échantillonnage d'un contour à l'aide d'une spécification flot de données conditionné |
| 09 - Approche de conception du processeur vidéo programmable MOVIE |
| 2 - Vers la modélisation du geste par la vision |
| Fédération Européenne de Psychanalyse |
| EJOS - Electronic Journal of Oriental Studies |
| A Framework for Integrating Custom Applications into Multimedia Annotations |
| ArabTeX : a system for typesetting arabic |
| A new parsing strategy for context-free grammars |
| ArabTeX : a System for Typesetting Arabic : User Manual Version 3.00 |
| WRG - ein neuer Generator für Top-Down-Parser mit automatischer Fehlerbehandlung |
| 3. Theorietag 'Automaten und Formale Sprachen', Schloß Dagstuhl, 7./8. Oktober 1993 |
| On the use of symbolic markup in the Production of a Multi-Lingual Dictionary |
| Partial Commutation and Traces |
| A Census Technique for Simple Computing Devices |
| Formal Languages, Automata and Petri-Nets |
| Makanin's Algorithm for Solving Word Equations with Regular Constraints |
| Representing Time in Multimedia Systems |
| SESAM : Software-Engineering-Simulation durch animierte Modelle |
| Controlling cooperations among traders |
| Complexity Results for Confluence Problems |
| Programmgenerator für Shared Workspace-Objekte |
| Spezifikation und Umsetzung einer Modellierungssprache für ein Aktives Semantisches Netz |
| Semantische Analyse erweiterbarer Spezifikationssprachen |
| Integration of Workflows into a Federated Database System with SQL/MED |
| Wortgleichungen in hyperbolischen Gruppen |
| ROLE: Role Oriented Programming Environment for Multiagent Systems |
| A Platform for Supporting Integrated Human and Agent Based Cooperation |
| Visualisierung von Protokollen: Ein erweitertes Petrinetz-Modell zur Simulation von Kommunikationsprotokollen |
| Entwurf und Implementierung einer Interndarstellung für die Analyse von Ada-Programmen |
| Entwicklung eines C-Front-Ends |
| Konzeption eines einfachen Agentensystems und Implementation eines Prototyps |
| Regelung und Steuerung von autonomen mobilen Robotern unter Oberon |
| Kommunikation, Ultraschallverarbeitung und ultraschallgestütztes Fahren für autonome mobile Roboter unter Oberon |
| Automatische Erzeugung von Syntaxbäumen für einen Compilergenerator |
| Persistente Objekte in Eiffel |
| Entwicklung einer grafischen Oberflaeche fuer eine Datenbank zur Verwaltung des Lehrangebots |
| GropiusSE. Eine Resource Flow Graph Bibliothek in Ada95 fuer das Speichern und Aufbereiten von Reengineeringinformationen |
| Erweiterung und Generierung einer Zwischendarstellung fuer C-Programme |
| Implementierung eines Earley-Parsergenerators |
| Erschließung von WWW-Browsern und-Servern für die Ausführung von mobilen Agenten |
| Evaluation und Erprobung des SESAM-2-Systems anhand eines strikt atomaren Modells |
| Konzeption und Implementierung eines Frameworks fuer spezialisierte Suchmaschinen |
| Existential and Positive Theories of Equations in Graph Products |
| Anfragesprache für ein semantisches Netz |
| Erweiterung eines HTTPD-Servers zur Durchfuehrung von Datenbankzugriffen |
| Evaluation von Systemen zur Korrektheitsuntersuchung am Beispiel von Konsistenzerhaltungsprotokollen |
| Erweiterung und Generierung der Zwischendarstellung IML für Java-Programme |
| Einbindung dreidimensionaler Modelldaten in die Nexus-Plattform |
| Ontology-Engineering mit dem MatrixBrowser |
| A World Model for Location-Aware Systems |
| Erweiterung und Generierung der Zwischendarstellung IML für C++ Programme |
| 7-bit Meta-Transliterations for 8-bit Romanizations |
| Konzeption und Implementierung einer abstrakten Anfrage- und Manipulationssprache für den Resource-Flow-Graph |
| Semiautomatische Entfernung des duplizierten Codes |
| Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting (Long Version) |
| Dynamischer Austausch von Komponenten in TinyOS |
| Der polynomielle Abschluß von Sprachklassen über Spuren |
| FlexCup: A Flexible and Efficient Code Update Mechanism for Sensor Networks |
| Ein umfassendes Umgebungsmodell als Integrationsstrategie für ortsbezogene Daten und Dienste |
| Cursor-Konzepte für das Nexus-Umgebungsmodell |
| Laws for Rewriting Queries Containing Division Operators |
| Parametrisierbare Experimentläufe in einem Emulationssystem für Rechnernetze |
| Konzeption und Generierung eines RFG für COBOL |
| Optimization of XML Processing within a BPEL Engine |
| Verbindung von FlexCup mit existierenden Codeverteilungsansätzen |
| Statische Analyse von GUI-Programmen |
| Kontinuierliche Anfragen auf räumlichen Datenströmen unter Verwendung von XXL-Pipes |
| Removing the Memory Limitations of Sensor Networks with Flash-Based Virtual Memory |
| A Proof of the Factorization Forest Theorem |
| Interprocedural Static Single Assignment Form in Bauhaus |
| Algorithmen zur Berechnung von Kontrollabhängigkeiten |
| Verbesserung statischer Analysen in praxisrelevanten Faellen |
| An Algorithm for the Validation of Executable Completions of an Abstract BPEL Process |
| Efficient Flash-based Virtual Memory for Sensor Networks |
| Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition |
| Combining Pattern Languages and Architectural Decision Models in a Comprehensive and Comprehensible Design Method |
| The TELAR mobile mashup platform for Nokia Internet Tablets |
| An Introduction to Service Choreographies |
| Syntaktische Analyse für eine dynamisch erweiterbare Spezifikationssprache |
| Context-Aware Mashups for Mobile Devices |
| Object Orientation and Web Services |
| PGM/F: A Framework for the Optimization of Data Processing in Business Processes |
| Korrektheit und Zuverlässigkeit zusammengesetzter Web Services am Beispiel der Geschäftsprozess-Modellierungssprache BPEL |
| Generating BPEL Processes from a BPEL4Chor Description |
| Sicherheitslücken durch statische Analyse aufdecken |
| Supporting Business Transactions Via Partial Backward Recovery In Workflow Management Systems |
| Kombinierte statische Analysen |
| Automatic Workflow Graph Refactoring and Completion |
| Customizable Pervasive Applications |
| Peer-based Automatic Configuration of Pervasive Applications |
| Eine adaptive Steuerung für statische Programmanalysen |
| Statische Analyse von Programmen mit Bibliotheken |
| Entwicklung einer Sprache zur Beschreibung von Qualitätseigenschaften kontextbezogener Dienste |
| Synchronizing Control Flow in a Tuplespace-Based, Distributed Workflow Management System |
| Interprozedurale SSA-Form Das Konzept der statischen Einmalzuweisung |
| Parametrisierung von EAI Patterns |
| Realization of EAI Patterns with Apache Camel |
| Implementing Sparse Flow-Sensitive Andersen Analysis |
| Extended Data-flow Analysis on BPEL Processes |
| Analyse von XPath-Ausdrücken in BPEL-Prozessbeschreibungen |
| Quantorenalternierung und reguläre Sprachen |
| Entwicklung eines Werkzeugszur Modellierung erweiterter Nexus Schemas |
| Dienstgüteeigenschaften für ausführbare EAI Patterns |
| Do We Need Internal Behavior in Choreography Models? |
| Towards Choreography Transactions |
| Analyzing BPEL4Chor: Verification and Participant Synthesis |
| EMod: Platform Independent Modelling, Description and Enactment of Parameterizable EAI Patterns |
| BPELscript: A Simplified Script Syntax for WS-BPEL 2.0 |
| Generation of Service-Oriented JEE Applications from Object Specifications |
| Reaching Definitions Analysis Respecting Dead Path Elimination Semantics in BPEL Processes |
| LES TENSIONS NORMATIVES ENTRE LE SAVOIR ET LE FAIRE DANS LES PHILOSOPHIES DE L'ACTIVITÉ |
| Le roman pour adolescents en langue bretonne. Thématique, traduction et stylistique |
| Lectures de sable. Les récits de Tahar Ben Jelloun |
| Web Services Engineering and Cartography |
| Programming paradigms |
| Programmable architectures and HDL languages |
| 06 - De l'architecture à l'algorithme un exemple : le détecteur de contours de Deriche |
| Sport Nature |
| QuickSearch : ein schneller Algorithmus zur Mustersuche in Zeichenfolgen |