dblp: Studia Informatica Universalis, Volume 3

Spyros Voulgaris, Maarten van Steen, Aline Baggio, Gerco Ballintijn: Transparent Data Relocation in Highly Available Distributed Systems. 1-18

Emmanuelle Anceaume, Eric Mourgaya, Philippe Raipin Parvédy: Unreliable Distributed Timing Scrutinizer to Converge toward\\ Decision Conditions. 19-42

Boris Koldehofe: Simple gossiping with balls and bins. 43-60

Stéphane Vialle, Guillaume Schaeffer, Michel Ianotto: Design of a Multi-Strategy Parallelization for an Entire Application of Document Categorization on Low-Cost Multiprocessor PCs. 61-84

Tommaso Bolognesi: Predicates for state changes vs. processes for event patterns. 85-124

Chryssis Georgiou, Alexander Russell, Alexander A. Shvartsman: Analysis of memory access concurrency in robust parallel algorithms. 125-150

Shilpa Bansod, Jean Mayo: A Distributed Algorithm For Unstable Global Predicate Evaluation With Approximately Synchronized Clocks. 151-168

Ismail Berrada, Richard Castanet, Patrick Félix: From The Feasability Analysis To Real-Time Test Generation. 203-230

Takanori Mori, Akio Nakata, Teruo Higashino: A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing. 231-

Armelle Prigent, Olivier Roux: Testing Real-Time Parameterized Systems. 193-253

João W. Cangussu, Kendra Cooper, W. Eric Wong: Empirical Evaluation of a Run-Time Dynamic Adaptable Framework. 255-284

Chang-Hyun Jo, Guobin Chen, James Choi: A Framework For BDI Agent-Based Software Engineering. 285-314

Seok Won Lee, David C. Rine: Missing Requirements and Relationship Discovery through Proxy Viewpoints Model. 315-342

Marco Scotto, Alberto Sillitti, Giancarlo Succi, Tullio Vernazza: Dealing with Software Metrics Collection and Analysis: a Relational Approach. 343-366

Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra: Mapping UML into Abstract State Machines: A Framework to Simulate UML Models. 367-398

Studia Informatica Universalis, Volume 3