Sciweavers

6 search results - page 2 / 2
» Introducing Realist Ontology for the Representation of Adver...
Sort
View
CONCUR
1998
Springer
13 years 9 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert