Formal specification of parallel SIMD execution

By Farrell C.A.   Kieronska D.H.  

Theoretical Computer Science, Vol. 169, Iss. 1, 1996-11 ,pp. : 39-65

Elsevier

Access to resources Recommend Favorite

Using Specification and Description Language to Formalize Multiagent Systems

By  

Applied Artificial Intelligence, Vol. 28, Iss. 5, 2014-05 ,pp. : 504-531

Taylor & Francis Ltd

Access to resources Recommend Favorite

Parameterized specification, configuration and execution of data-intensive scientific workflows

By Kumar Vijay   Kurc Tahsin   Ratnakar Varun   Kim Jihie   Mehta Gaurang   Vahi Karan   Nelson Yoonju   Sadayappan P.   Deelman Ewa   Gil Yolanda   Hall Mary   Saltz Joel  

Cluster Computing, Vol. 13, Iss. 3, 2010-09 ,pp. : 315-333

Springer Publishing Company

Access to resources Recommend Favorite

A Multiagent System for the Reliable Execution of Automatically Composed Ad-hoc Processes

By Haller Klaus   Binder Walter  

Autonomous Agents and Multi-Agent Systems, Vol. 12, Iss. 2, 2006-03 ,pp. : 219-237

Springer Publishing Company

Access to resources Recommend Favorite

The dMARS Architecture: A Specification of the Distributed Multi‐Agent Reasoning System

By D'Inverno Mark  

Autonomous Agents and Multi-Agent Systems, Vol. 9, Iss. 1-2, 2004-07 ,pp. : 5-53

Springer Publishing Company

Access to resources Recommend Favorite