|
|
-
Number 3
ISBN 2-912590-30-2 ISSN 1621-7545 Guest editor: Stefan Gruner Empirical Evaluation of a Run-Time Dynamic Adaptable Framework, pp. 255-284
JOAO W. CANGUSSU, KENDRA COOPER, ERIC WONG A Framework For BDI Agent-Based Software Engineering, pp. 285-314
CHANG-HYUN JO, GUOBIN CHEN, JAMES CHOI Missing Requirements and Relationship Discovery through Proxy Viewpoints Model, pp. 315-342SEOK WON LEE, DAVID C. RINE Dealing with Software Metrics Collection and Analysis: a Relational Approach, pp. 343-366
MARCO SCOTTO, ALBERTO SILLITTI, GIANCARLO SUCCI, TULLIO VERNAZZA Mapping UML into Abstract State Machines: A Framework to Simulate UML Models, pp 367-398ALESSANDRA CAVARRA, ELVINIA RICCOBENE, PATRIZIA SCANDURRA
-
Number 2
ISBN : 2-912590-12-4 SSN : 1621-7545 Guest editors: Alain Bui and Hacène Fouchal Analysis of memory access concurrency in robust parallel algorithms, pp. 125-150
CHRYSSIS GEORGIOU, ALEXANDER RUSSELL, ALEXANDER SHVARTSMAN
A Distributed Algorithm For Unstable Global Predicate Evaluation With Approximately Synchronized Clocks, pp. 151-168
SHILPA BANSOD, JEAN MAYO
From The Feasability Analysis To Real-Time Test Generation, pp. 169-201
ISMAIL BERRADA, RICHARD CASTANET, PATRICK FELIX
A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing, pp. 203-230
TAKANORI MORI, AKIO NAKATA, TERUO HIGASHINO
Testing Real-Time Parameterized Systems, pp. 231-253
ARMELLE PRIGENT, OLIVIER ROUX
-
Number 1
ISBN 2-912590-27-2 ISSN 1621-7545 Guest editors: Alain Bui and Hacène Fouchal Transparent Data Relocation in Highly Available Distributed Systems, pp. 1-18 SPYROS VOULGARIS, MAARTEN VAN STEEN, ALINE BAGGIO, GERCO BALLINTIJN Unreliable Distributed Timing Scrutinizer to Converge toward Decision Conditions, pp. 19-42 EMMANUELLE ANCEAUME, ERIC MOURGAYA, PHILIPPE RAIPIN PARVEDY Simple gossiping with balls and bins, pp 43-60 BORIS KOLDEHOFE
Design of a Multi-Strategy Parallelization for an Entire Application of Document Categorization on Low-Cost Multiprocessor PCs, pp. 61-84 STEPHANE VIALLE, GUILLAUME SCHAEFFER, MICHEL IANOTTO Predicates for state changes vs. processes for event patterns, pp. 85-124TOMMASO BOLOGNESI
|
