default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Informatica Universalis, Volume 3
Volume 3, Number 1, January 2004
- 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
Volume 3, Number 2, April 2004
- 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 F. Roux:
Testing Real-Time Parameterized Systems. 193-253
Volume 3, Number 3, 2004
- João W. Cangussu, Kendra M. L. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-10 20:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
