Package Universes: Which Components Are Real Candidates?
Related publications (35)
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
This paper presents a new prototyping methodology for large concurrent systems modelled by the means of hierarchical algebraic Petri nets. First, the source specifications are automatically translated into a main-stream object-oriented language, thus provi ...
This thesis presents a new incremental prototyping methodology for formally specified distributed systems. The objective of this methodology is to fill the gap which currently exists between the phase where a specification is simulated, generally using som ...
Most quality management systems (QMS) which integrate software development are based on a single software development method. This particular method is enforced on all projects. The resulting QMS has to fulfil the ISO 9000 standards [13] and enables the co ...
Differentiated services are a suitable solution to Quality of Service (QoS) provisioning in the Internet while the number of users keeps growing. The solution is suitable, because it scales well with increasing number of network users and it does not alter ...
Abstract TR/1998/020 Technical Report SSC/1998/020 Authors: Constant Gbaguidi, Hans J. Einsiedler, Paul Hurley, Werner Almesberger and Jean-Pierre Hubaux Date: Title: A Survey of Differentiated Services Proposals for the Internet Abstract Differentiated se ...
