University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Items where Author is "Moschoyiannis, S"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 17.

Moschoyiannis, S, Krause, PJ and Georgiou, P (2012) An animation tool for exploring transactions in a de In: 6th IEEE International conference on Digital Ecosystems Technologies (DEST), 2012-06-18 - 2012-06-20, Campione d'Italia.

Moschoyiannis, S, Marinos, A and Krause, P (2010) Generating SQL queries from SBVR rules In: Rule ML 2010: The 4th International Web Rule Symposium: Research Based and Industry Focused, 2010-10-21 - 2010-10-23, Washington, DC, USA.

Moschoyiannis, S, Razavi, A and Krause, P (2010) Transaction Scripts: Making Implicit Scenarios Explicit Electronic Notes in Theoretical Computer Science, 238 (6). 63 - 79. ISSN 1571-0661

Marinos, A, Razavi, A, Moschoyiannis, S, Krause, P, Damiani, E, Zhang, J and Chang, R (2009) RETRO: A Consistent and Recoverable RESTful Transaction Model In: IEEE International Conference on Web Services (ICWS 2009), 2009-07-06 - 2009-07-10, Los Angeles, CA.

Krause, PJ, Razavi, AR, Moschoyiannis, S and Marinos, A (2009) Stability and Complexity in Digital Ecosystems In: 3rd IEEE International Conference on Digital Ecosystems and Technologies, 2009-06-01 - 2009-06-03, Istanbul, TURKEY.

Moschoyiannis, S, Krause, P, Bryant, D and McBurney, P (2009) Verifiable Protocol Design for Agent Argumentation Dialogues In: 3rd IEEE International Conference on Digital Ecosystems and Technologies, 2009-06-01 - 2009-06-03, Istanbul, TURKEY.

Moschoyiannis, S, Krause, PJ and Shields, MW (2009) A True-Concurrent Interpretation of Behavioural Scenarios Electronic Notes in Theoretical Computer Science, 203 (7). 3 - 22. ISSN 1571-0661

Razavi, A, Moschoyiannis, S and Krause, P (2009) An open digital environment to support business ecosystems Peer-to-Peer Networking and Applications, 2 (4). 367 - 397. ISSN 1936-6450

Moschoyiannis, S, Razavi, AR, Zheng, YY and Krause, P (2008) Long-running Transactions: semantics, schemas, implementation In: IEEE DEST 2008, 2008-02-26 - 2008-02-29, Phitsanuloke, Thailand.

Moschoyiannis, S, Razavi, AR, Zheng, Y and Krause, P (2008) Long-running transactions: Semantics, schemas, implementation 2008 2nd IEEE International Conference on Digital Ecosystems and Technologies, IEEE-DEST 2008. 20 - 27.

Razavi, AR, Malone, PJ, Moschoyiannis, S, Jennings, B and Krause, PJ (2007) A distributed transaction and accounting model for digital ecosystem composed services In: IEEE International Conference on Digital Ecosystems and Technologies, 2007-02-21 - 2007-02-23, Cairns, AUSTRALIA.

Razavi, AR, Malone, PJ, Moschoyiannis, S, Jennings, B and Krause, PJ (2007) A distributed transaction and accounting model for digital ecosystem composed services In: IEEE International Conference on Digital Ecosystems and Technologies, 2007-02-21 - 2007-02-23, Cairns, AUSTRALIA.

Razavi, AR, Moschoyiannis, S, Krause, PJ, Malone, PJ and Jennings, B (2007) A distributed transaction and accounting model for digital ecosystem composed services

Bryant, D, Krause, P, Moschoyiannis, S, Fisher, M, VanDerHoek, W, Konev, B and Lisitsa, A (2006) A tool to facilitate agent deliberation In: 10th European Conference on Logics in Artificial Intelligence, 2006-09-13 - 2006-09-15, Liverpool, ENGLAND.

Moschoyiannis, S, Küster-Filipe, J and Shields, MW (2006) A Formal Approach to Constructing Well-Behaved Systems using Components In: Mathematical frameworks for component software - Models for Analysis and Synthesis. Series on Component-Based Software Development, 2 . World Scientific Pub Co Inc, 321 - 349. ISBN 981270017X

Moschoyiannis, S and Shields, MW (2004) A set-theoretic framework for component composition FUNDAMENTA INFORMATICAE, 59 (4). 373 - 396. ISSN 0169-2968

Moschoyiannis, S, Shields, MW, Lilius, J, Balarin, F and Machado, RJ (2003) Component-based design: Towards guided composition In: 3rd International Conference on Application of Concurrency to System Design, 2003-06-18 - 2003-06-20, Guimaraes, PORTUGAL.

This list was generated on Tue Jul 29 13:45:23 2014 IST.

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800