Author of the publication

Formal Modeling and Verification of Real-Time Multi-Agent Systems: The REMM Framework.

, , , and . IDC, volume 162 of Studies in Computational Intelligence, page 187-196. Springer, (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.

 

Other publications of authors with the same name

An Agents Based Middleware for Personalization of Multimedia Service Delivery in SOAs., , , and . J. Mobile Multimedia, 4 (1): 2-18 (2008)Mobile Agents for Management of Native Applications in GRID., , , and . PPAM (2), volume 6068 of Lecture Notes in Computer Science, page 214-223. Springer, (2009)On the Evaluation of the Distributed Objects and Mobile Agents Programming Models for a Distributed Optimization Application., , , and . PARA, volume 2367 of Lecture Notes in Computer Science, page 233-242. Springer, (2002)Distributed Computing: Tools, Paradigms and Infrastructures. An Introduction., , and . PARA, volume 3732 of Lecture Notes in Computer Science, page 442-443. Springer, (2004)A SLA-based interface for security management in cloud and GRID integrations., , and . IAS, page 378-383. IEEE, (2011)Web Services Resilience Evaluation using LDS Load dependent Server Models.., , , and . J. Commun., 5 (1): 39-49 (2010)Agent Based Negotiation of Decentralized Energy Production., , , and . IDC, volume 570 of Studies in Computational Intelligence, page 59-67. Springer, (2014)Developing Applications for Heterogeneous Computing Environments Using Simulation: A Case Study., , , and . Parallel Comput., 24 (5-6): 741-761 (1998)A distributed scheduling framework based on selfish autonomous agents for federated cloud environments., , , , and . Future Gener. Comput. Syst., 29 (6): 1461-1472 (2013)Enabling Model Driven Engineering of Cloud Services by using mOSAIC Ontology., , and . Scalable Comput. Pract. Exp., (2012)