( en | de | ru )

 

Disambiguation of "Poernomo, Iman"

Author of the publication

copydeleteadd this publication to your clipboard
Model driven QoS management via dynamic programming.

, , and . EDOCW, page 87-95. IEEE Computer Society, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Konin Imanishi

Iman Alsharhan

Jussef Imanabadi

Lynda M Iman-Loch

Asghar Imandust

 

Other publications of authors with the same name

A Mapping from Normative Requirements to Event-B to Facilitate Verified Data-Centric Business Process Management., and . CEE-SET, volume 7054 of Lecture Notes in Computer Science, page 136-149. Springer, (2009)A Type Theoretic Framework for Formal Metamodelling.. Architecting Systems with Trustworthy Components, volume 3938 of Lecture Notes in Computer Science, page 262-298. Springer, (2004)Reasoning about Software Architectures with Contractually Specified Components., , and . Component-Based Software Quality, volume 2693 of Lecture Notes in Computer Science, page 287-325. Springer, (2003)QoS-Aware Model Driven Architecture through the UML and CIM., and . EDOC, page 345-354. IEEE Computer Society, (2006)Using the TrustME Tool Suite for Automatic Component Protocol Adaptation., , and . International Conference on Computational Science (2), volume 2330 of Lecture Notes in Computer Science, page 854-863. Springer, (2002)Message from the AQuSerM 2011 Chairs., and . EDOCW, page 95. IEEE Computer Society, (2011)Consistent Metric Usage: From Design to Deployment., and . Dependability Metrics, volume 4909 of Lecture Notes in Computer Science, page 19-36. Springer, (2005)Predictable Component Architectures Using Dependent Finite State Machines, , , and . (2004)Proofs-as-Model-Transformations. (2008)Extraction of Structured Programs from Specification Proofs., , and . WADT, volume 1827 of Lecture Notes in Computer Science, page 419-437. Springer, (1999)