Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
645 Publications
2003 | Journal Article | LibreCat-ID: 19785
Algorithmic Approaches for Storage Networks
K.A. Salzwedel, Algorithms for Memory Hierarchies 2625 (2003).
LibreCat
| DOI
K.A. Salzwedel, Algorithms for Memory Hierarchies 2625 (2003).
2003 | Conference Paper | LibreCat-ID: 19790
Storage Management as Means to cope with Exponential Information Growth
C. Scheideler, K. Salzwedel, F. Meyer auf der Heide, A. Brinkmann, M. Vodisek, U. Rückert, in: Proceedings of SSGRR 2003, 2003.
LibreCat
| Files available
C. Scheideler, K. Salzwedel, F. Meyer auf der Heide, A. Brinkmann, M. Vodisek, U. Rückert, in: Proceedings of SSGRR 2003, 2003.
2003 | Conference Paper | LibreCat-ID: 19806
Performance of distributed algorithms for topology control in wireless networks
S. Rührup, C. Schindelhauer, K. Volbert, M. Grünewald, in: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), 2003.
LibreCat
| DOI
S. Rührup, C. Schindelhauer, K. Volbert, M. Grünewald, in: Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), 2003.
2003 | Mastersthesis | LibreCat-ID: 19828
Implementierung und Vergleich von Verfahren zum Information Retrieval im World Wide Web
P. Mahlmann, Implementierung Und Vergleich von Verfahren Zum Information Retrieval Im World Wide Web, 2003.
LibreCat
P. Mahlmann, Implementierung Und Vergleich von Verfahren Zum Information Retrieval Im World Wide Web, 2003.
2003 | Conference Paper | LibreCat-ID: 19833
Directed power-variable infrared communication for the mini robot Khepera
K. Volbert, M. Grünewald, C. Schindelhauer, U. Rückert, in: Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment, 2003, pp. 113–122.
LibreCat
K. Volbert, M. Grünewald, C. Schindelhauer, U. Rückert, in: Proceedings of the 2nd International Conference on Autonomous Minirobots for Research and Edutainment, 2003, pp. 113–122.
2003 | Conference Paper | LibreCat-ID: 19874
ADB-Trees: Controlling the Error of Time-Critical Collision Detection
J. Klein, G. Zachmann, in: Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003), 2003, pp. 37–45.
LibreCat
J. Klein, G. Zachmann, in: Proc. 8th International Fall Workshop Vision, Modeling, and Visualization (VMV 2003), 2003, pp. 37–45.
2003 | Conference Paper | LibreCat-ID: 19900
Time-Critical Collision Detection Using an Average-Case Approach
J. Klein, G. Zachmann, in: Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003), 2003, pp. 22–31.
LibreCat
| DOI
J. Klein, G. Zachmann, in: Proc. ACM Symposium on Virtual Reality Software and Technology (VRST 2003), 2003, pp. 22–31.
2003 | Conference Paper | LibreCat-ID: 19925
LibreCat
2003 | Conference Paper | LibreCat-ID: 19952
Dominating Sets in Planar Graphs: Branch-Width and Exponential Speed-Up
F.V. Fomin, D.M. Thilikos, in: Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003), 2003.
LibreCat
| DOI
F.V. Fomin, D.M. Thilikos, in: Proceedings of the 14th ACM-SIAM Symposium on Discrete Algorithms (SODA 2003), 2003.
2003 | Conference Paper | LibreCat-ID: 1998
Scheduling in HPC Resource Management Systems: Queuing vs. Planning
M. Hovestadt, O. Kao, A. Keller, A. Streit, in: Proc. Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP), Berlin / Heidelberg, 2003, pp. 1–20.
LibreCat
| DOI
M. Hovestadt, O. Kao, A. Keller, A. Streit, in: Proc. Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP), Berlin / Heidelberg, 2003, pp. 1–20.
2003 | Conference Paper | LibreCat-ID: 2418
TKDM – A Reconfigurable Co-processor in a PC's Memory Slot
C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Technology (ICFPT), IEEE Computer Society, 2003, pp. 252–259.
LibreCat
| DOI
C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Technology (ICFPT), IEEE Computer Society, 2003, pp. 252–259.
2003 | Journal Article | LibreCat-ID: 2419
The Case for Reconfigurable Hardware in Wearable Computing
C. Plessl, R. Enzler, H. Walder, J. Beutel, M. Platzner, L. Thiele, G. Tröster, Personal and Ubiquitous Computing 7 (2003) 299–308.
LibreCat
| DOI
C. Plessl, R. Enzler, H. Walder, J. Beutel, M. Platzner, L. Thiele, G. Tröster, Personal and Ubiquitous Computing 7 (2003) 299–308.
2003 | Journal Article | LibreCat-ID: 2420
Instance-Specific Accelerators for Minimum Covering
C. Plessl, M. Platzner, Journal of Supercomputing 26 (2003) 109–129.
LibreCat
| DOI
C. Plessl, M. Platzner, Journal of Supercomputing 26 (2003) 109–129.
2003 | Conference Paper | LibreCat-ID: 2421
Virtualizing Hardware with Multi-Context Reconfigurable Arrays
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2003, pp. 151–160.
LibreCat
| DOI
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2003, pp. 151–160.
2003 | Conference Paper | LibreCat-ID: 2422
Co-simulation of a Hybrid Multi-Context Architecture
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 174–180.
LibreCat
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 174–180.
2003 | Conference Paper | LibreCat-ID: 24273
Verteiltes Rendern durch dynamische Bildaufteilung
M. Terbahl, J. Krokowski, in: Proceedings of 5. GI-Informatiktage 2003, Bad Schussenried, Germany, 2003.
LibreCat
M. Terbahl, J. Krokowski, in: Proceedings of 5. GI-Informatiktage 2003, Bad Schussenried, Germany, 2003.
2003 | Dissertation | LibreCat-ID: 24602
Neuronale Assoziativspeicher im Information Retrieval
M. Schmidt, Neuronale Assoziativspeicher im Information Retrieval, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
M. Schmidt, Neuronale Assoziativspeicher im Information Retrieval, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24604
Personalplanung und -entwicklung in einem integrierten Vorgehensmodell zur Einfühung von PDM-Systemen
R. Pusch, Personalplanung und -entwicklung in einem integrierten Vorgehensmodell zur Einfühung von PDM-Systemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
R. Pusch, Personalplanung und -entwicklung in einem integrierten Vorgehensmodell zur Einfühung von PDM-Systemen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24605
Dynamisches Matching - Ein agentenbasiertes Verfahren zur Unterstützung des Kooperativen Produktengineering durch Wissens- und Technologietransfer
H.D. Kespohl, Dynamisches Matching - Ein agentenbasiertes Verfahren zur Unterstützung des Kooperativen Produktengineering durch Wissens- und Technologietransfer, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
H.D. Kespohl, Dynamisches Matching - Ein agentenbasiertes Verfahren zur Unterstützung des Kooperativen Produktengineering durch Wissens- und Technologietransfer, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24606
Eine domänenübergreifende Softwarespezifikationstechnik für automatisierte Fertigungsanlagen
T. Molt, Eine domänenübergreifende Softwarespezifikationstechnik für automatisierte Fertigungsanlagen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
T. Molt, Eine domänenübergreifende Softwarespezifikationstechnik für automatisierte Fertigungsanlagen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Book | LibreCat-ID: 24607
1. Paderborner Workshop Intelligente mechatronische Systeme
J. Gausemeier, J. Lückel, J. Wallaschek, 1. Paderborner Workshop Intelligente mechatronische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
J. Gausemeier, J. Lückel, J. Wallaschek, 1. Paderborner Workshop Intelligente mechatronische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24608
2. Paderborner Workshop Augumented & Virtual Reality in der Produktentstehung
J. Gausemeier, M. Grafe, 2. Paderborner Workshop Augumented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
J. Gausemeier, M. Grafe, 2. Paderborner Workshop Augumented & Virtual Reality in der Produktentstehung, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24609
Piezoelektrische, resonant betriebene Ultraschall-Leistungswandler mit nichtlinearen mechanischen Randbedingungen
W. Littmann, Piezoelektrische, resonant betriebene Ultraschall-Leistungswandler mit nichtlinearen mechanischen Randbedingungen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
W. Littmann, Piezoelektrische, resonant betriebene Ultraschall-Leistungswandler mit nichtlinearen mechanischen Randbedingungen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24610
Zur Anwendung probabilistischer Methoden in den frühen Phasen des Systementwurfs
W. Wickord, Zur Anwendung probabilistischer Methoden in den frühen Phasen des Systementwurfs, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
W. Wickord, Zur Anwendung probabilistischer Methoden in den frühen Phasen des Systementwurfs, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24611
Ressourceneffiziente Architekturen neuronaler Assoziativspeicher
A. Heittmann, Ressourceneffiziente Architekturen neuronaler Assoziativspeicher, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
A. Heittmann, Ressourceneffiziente Architekturen neuronaler Assoziativspeicher, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24612
Einbettung selbstorganisierender Karten in autonome Miniroboter
U. Witkowski, Einbettung selbstorganisierender Karten in autonome Miniroboter, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
U. Witkowski, Einbettung selbstorganisierender Karten in autonome Miniroboter, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24613
Synthesis of Dataflow Graphs for Reconfigurable Systems using Temporal Partitioning and Temporal Placement
C. Bobda, Synthesis of Dataflow Graphs for Reconfigurable Systems Using Temporal Partitioning and Temporal Placement, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
C. Bobda, Synthesis of Dataflow Graphs for Reconfigurable Systems Using Temporal Partitioning and Temporal Placement, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24614
Wissensbasiertes Online-Störungsmanagement flexibler, hoch automatisierter Montagesysteme
F. Heller, Wissensbasiertes Online-Störungsmanagement flexibler, hoch automatisierter Montagesysteme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
F. Heller, Wissensbasiertes Online-Störungsmanagement flexibler, hoch automatisierter Montagesysteme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24615
Systematik des Ideenmanagements im Produktentstehungsprozess
A. Kühn, Systematik des Ideenmanagements im Produktentstehungsprozess, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
A. Kühn, Systematik des Ideenmanagements im Produktentstehungsprozess, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24618
ISIS: Installationshandbuch für lernförderliche Infrastrukturen
R. Keil-Slawik, A. Brennecke, ISIS: Installationshandbuch für lernförderliche Infrastrukturen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
R. Keil-Slawik, A. Brennecke, ISIS: Installationshandbuch für lernförderliche Infrastrukturen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24619
ISIS: Installationshandbuch für lernförderliche Infrastrukturen
R. Keil-Slawik, A. Brennecke, ISIS: Installationshandbuch für lernförderliche Infrastrukturen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
R. Keil-Slawik, A. Brennecke, ISIS: Installationshandbuch für lernförderliche Infrastrukturen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24620
ISIS: Installationshandbuch für lernförderliche Infrastrukturen
R. Keil-Slawik, A. Brennecke, ISIS: Installationshandbuch für lernförderliche Infrastrukturen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
R. Keil-Slawik, A. Brennecke, ISIS: Installationshandbuch für lernförderliche Infrastrukturen, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24621
Ein Ansatz zur Gestaltung des operativen Fertigungsmanagements innerhalb der Lieferkette
M. Ould Hamady, Ein Ansatz zur Gestaltung des operativen Fertigungsmanagements innerhalb der Lieferkette, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
M. Ould Hamady, Ein Ansatz zur Gestaltung des operativen Fertigungsmanagements innerhalb der Lieferkette, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24623
Theoretical Analysis of Unsupervised On-line Learning through Soft Competion
C. Holtz, Theoretical Analysis of Unsupervised On-Line Learning through Soft Competion, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
C. Holtz, Theoretical Analysis of Unsupervised On-Line Learning through Soft Competion, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Dissertation | LibreCat-ID: 24624
Ein Modell zur Steuerung der Kundenbearbeitung im Rahmen des Vertriebsmanagements
M. Uebel, Ein Modell zur Steuerung der Kundenbearbeitung im Rahmen des Vertriebsmanagements, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
M. Uebel, Ein Modell zur Steuerung der Kundenbearbeitung im Rahmen des Vertriebsmanagements, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
2003 | Journal Article | LibreCat-ID: 2591
Planung und Steuerung der Einsatzzeiten des Produktionspersonals auf Basis von Langzeitkonten
S. Betz, Betriebswirtschaftliche Forschung und Praxis 55 (2003) 83–97.
LibreCat
S. Betz, Betriebswirtschaftliche Forschung und Praxis 55 (2003) 83–97.
2003 | Working Paper | LibreCat-ID: 2592
Kapazitätsbedarfsorientierte Potenzialfaktoreinsatzplanung
S. Betz, Kapazitätsbedarfsorientierte Potenzialfaktoreinsatzplanung, Göttingen, 2003.
LibreCat
S. Betz, Kapazitätsbedarfsorientierte Potenzialfaktoreinsatzplanung, Göttingen, 2003.
2003 | Book Chapter | LibreCat-ID: 2593
Entscheidungsorientierte Produktionsfaktorbeschaffungs- und -einsatzplanung
S. Betz, in: R. Bogaschewsky und U. Götze (Ed.), Management und Controlling von Einkauf und Logistik, Gernsbach, 2003, pp. 353–374.
LibreCat
S. Betz, in: R. Bogaschewsky und U. Götze (Ed.), Management und Controlling von Einkauf und Logistik, Gernsbach, 2003, pp. 353–374.
2003 | Journal Article | LibreCat-ID: 26156
On the modelling of the particle dynamics in electro-hydrodynamic flow-fields: I. Comparison of Eulerian and Lagrangian modelling approach
H.-J. Schmid, L. Vogel, Powder Technology 135/136 (2003) 118–135.
LibreCat
| DOI
H.-J. Schmid, L. Vogel, Powder Technology 135/136 (2003) 118–135.
2003 | Journal Article | LibreCat-ID: 26157
On the modelling of the particle dynamics in electro-hydrodynamic flow fields: II. Influences of inhomogeneities on electrostatic precipitation
H.-J. Schmid, Powder Technology 135/136 (2003) 136–149.
LibreCat
| DOI
H.-J. Schmid, Powder Technology 135/136 (2003) 136–149.
2003 | Journal Article | LibreCat-ID: 26158
Herausforderungen für die Lehre am Beispiel der mechanischen Verfahrenstechnik
W. Peukert, H.-J. Schmid, Chemie Ingenieur Technik 75 (2003) 177–183.
LibreCat
| DOI
W. Peukert, H.-J. Schmid, Chemie Ingenieur Technik 75 (2003) 177–183.
2003 | Journal Article | LibreCat-ID: 26159
On the relevance of accounting for the evolution of the fractal dimension in aerosol process simulations
C. Artelt, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 34 (2003) 511–534.
LibreCat
| DOI
C. Artelt, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 34 (2003) 511–534.
2003 | Conference Paper | LibreCat-ID: 26263
Stability versus Speed in a Computable Algebraic Model
M. Ziegler, in: Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA, 2003, pp. 47–64.
LibreCat
M. Ziegler, in: Proc. 5th Conference on Real Numbers and Computers (RNC5), INRIA, 2003, pp. 47–64.
2003 | Conference Paper | LibreCat-ID: 26277
Computable Operators on Regular Sets
M. Ziegler, in: Computability and Complexity in Analysis, 2003, pp. 389–406.
LibreCat
M. Ziegler, in: Computability and Complexity in Analysis, 2003, pp. 389–406.
2003 | Journal Article | LibreCat-ID: 26815
Viele Inhalte, viele Kontexte, viele Aktivitäten – eine Rahmenkonzeption für Sachaufgaben
M. Grüßing, F. Hellmich, Grundschulunterricht 2 (2003) 13–15.
LibreCat
M. Grüßing, F. Hellmich, Grundschulunterricht 2 (2003) 13–15.
2003 | Book Chapter | LibreCat-ID: 26818
Was interessiert Grundschulkinder an Mathematikaufgaben?
F. Hellmich, B. Moschner, in: H.-W. Henn (Ed.), Beiträge zum Mathematikunterricht 2003, Franzbecker, Hildesheim, 2003, pp. 285–288.
LibreCat
F. Hellmich, B. Moschner, in: H.-W. Henn (Ed.), Beiträge zum Mathematikunterricht 2003, Franzbecker, Hildesheim, 2003, pp. 285–288.
2003 | Journal Article | LibreCat-ID: 3236
Behavioral Subtyping Relations for Active Objects
H. Wehrheim, Formal Methods in System Design (2003) 143--170.
LibreCat
| DOI
H. Wehrheim, Formal Methods in System Design (2003) 143--170.
2003 | Conference Paper | LibreCat-ID: 3237
Preserving Properties Under Change
H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.
LibreCat
| DOI
H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf, W. P. de Roever (Eds.), Formal Methods for Components and Objects, Second International Symposium, {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised Lectures, 2003, pp. 330--343.
2003 | Conference Paper | LibreCat-ID: 3238
Inheritance of Temporal Logic Properties
H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.
LibreCat
| DOI
H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 79--93.
2003 | Conference Paper | LibreCat-ID: 3239
Checking Consistency in {UML} Diagramms: Classes and State Machines
H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.
LibreCat
| DOI
H. Rasch, H. Wehrheim, in: E. Najm, U. Nestmann, P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.