785 resultados para Malcolm, Norman

Formal Verification of Communication Protocol using Type Theory

Relevância:

10.00% 10.00%

Publicador:

Veja mais

A Post-Placement Side-Effect Removal Algorithm

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Mechanized Operational Semantics of WSL

Relevância:

10.00% 10.00%

Publicador:

Veja mais

An Interprocedural Amorphous Slicer for WSL

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Weakest Precondition for General Recursive Programs Formalized in Coq

Relevância:

10.00% 10.00%

Publicador:

Veja mais

GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Side-Effect Removal Transformation

Relevância:

10.00% 10.00%

Publicador:

Veja mais

CONOISE-G: agent-based virtual organisations

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Agent-Based Virtual Organisations for the Grid

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Agent-based formation of virtual organisations

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Delivering services by building and running virtual organisations

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Agent-based virtual organisations for the Grid

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Monitoring, Policing and Trust for Grid-Based Virtual Organisations

Relevância:

10.00% 10.00%

Publicador:

Veja mais

Supporting Formation and Operation of Virtual Organisations in a Grid Environment

Relevância:

10.00% 10.00%

Publicador:

Veja mais

CONOISE: Agent-based formation of virtual organisations

Relevância:

10.00% 10.00%

Publicador:

Veja mais