MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Theo Dimitrakos" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Towards a Trust and Contract Management Framework for Dynamic Virtual Organisations
by Theo Dimitrakos, David Golby, Paul Kearney — 2004 — In eAdoption and the Knowledge Economy: eChallenges 2004
…Towards a Trust and Contract Management Framework for dynamic Virtual Organisations Theo…
Cited by 6 (1 self) – Add To MetaCart

Building Trust on the GRID (Trust Issues Underpinning Scalable Virtual Organisations
by Brian Matthews, Juan Bicarregui, Theo Dimitrakos — CLRC Rutherford Appleton Laboratory
…, Juan Bicarregui, Theo Dimitrakos CLRC Rutherford Appleton Laboratory, Oxfordshire, OX11 0QX, UK b…
Cited by 2 (1 self) – Add To MetaCart

Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context
by Theo Dimitrakos, Juan Bicarregui, Brian Matthews, Tom Maibaum — 2000 — in Proceedings of the International Conference of B and Z Users ZB2000
…Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context Theo…
Cited by 3 (2 self) – Add To MetaCart

Towards Dynamic Population Management of Abstract Machines in the B Method
by Nazareno Aguirre, Juan Bicarregui, Theo Dimitrakos, Tom Maibaum — 2003 — Proceedings of the Third international conference of B and Z users: ZB2003. LNCS 2651
…⋆⋆ , Juan Bicarregui 2 , Theo Dimitrakos 2 , and Tom Maibaum 1 1 Department of Computer Science, King…
Cited by 1 (0 self) – Add To MetaCart

Can We Manage Trust?
by Audun Jøsang, Claudia Keser, Theo Dimitrakos — 2005 — Proceedings of the Third International Conference on Trust Management (iTrust), Versailes
…Can We Manage Trust? Audun Jøsang ¡ and Claudia Keser ¢ and Theo Dimitrakos £ § ¤ ¥¦¥ DSTC UQ…
Cited by 9 (1 self) – Add To MetaCart

Interpolation in Practical Formal Development
by Juan Bicarregui, Theo Dimitrakos, Dov Gabbay, Tom Maibaum — 2000 — Logic Journal of the IGPL
…Interpolation in practical formal development Juan Bicarregui and Theo Dimitrakos CLRC…
Cited by 3 (0 self) – Add To MetaCart

E-Contract Fulfilment and Agents' Attitudes
by Aspassia Daskalopulu, Theo Dimitrakos, Tom Maibaum — 2001 — In Proceedings of the ERCIM WG E-Commerce Workshop on The Role of Trust in e-Business
…, King’s College London, The Strand, London WC2R 2LS, UK. aspassia@(email omitted); Theo Dimitrakos CLRC…
Cited by 9 (0 self) – Add To MetaCart

Contract Performance Assessment for Secure and Dynamic Virtual Collaborations
by Theo Dimitrakos, Ivan Djordjevic, Zoran Milosevic, Audun Jøsang, Chris I. Phillips
…Contract Performance Assessment for Secure and Dynamic Virtual Collaborations Theo Dimitrakos 1…
Add To MetaCart

Discretionary Enforcement of Electronic Contracts
by Zoran Milosevic, Audun Jøsang, Theo Dimitrakos, Mary Anne Patton — 2002
…Discretionary Enforcement of Electronic Contracts Zoran Milosevic 1 , Audun Jsang 1 , Theo…
Cited by 10 (2 self) – Add To MetaCart

Interpolation in Practical Formal
by Development Juan Bicarregui, Juan Bicarregui, Theo Dimitrakos, Information Sciences, Dov Gabbay Tom Maibaum — Logic Journal of the IGPL
…Interpolation in Practical Formal Development JUAN BICARREGUI, THEO DIMITRAKOS 1 , Information…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB