Advanced design concepts for open distributed systems development

1993 4th Workshop on Future Trends of Distributed Computing Systems ◽

10.1109/ftdcs.1993.344211 ◽

2002 ◽

Author(s):

L.F. Pires ◽

M. van Sinderen ◽

C.A. Vissers

Keyword(s):

Distributed Systems ◽

Systems Development ◽

Design Concepts ◽

Open Distributed Systems

Download Full-text

A Branching Time Logical System for Open Distributed Systems Development

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80548-6 ◽

2002 ◽

Vol 67 ◽

pp. 184-203 ◽

Author(s):

Carlos H.C. Duarte ◽

Tom Maibaum

Keyword(s):

Distributed Systems ◽

Systems Development ◽

Branching Time ◽

Logical System ◽

Open Distributed Systems

Download Full-text

Flexible control systems development and integration environment for distributed systems

UKACC Control 2006 Mini Symposia ◽

10.1049/ic:20060271 ◽

2006 ◽

Author(s):

H. Thompson

Keyword(s):

Distributed Systems ◽

Control Systems ◽

Systems Development ◽

Flexible Control

Download Full-text

Saga security system: A security architecture for open distributed systems

Computer Standards & Interfaces ◽

10.1016/s0920-5489(99)92119-0 ◽

1999 ◽

Vol 21 (2) ◽

pp. 151

Author(s):

Masakazu Soshi ◽

Mamoru Maekawa

Keyword(s):

Distributed Systems ◽

Security System ◽

Security Architecture ◽

System A ◽

Open Distributed Systems

Download Full-text

The Saga Security System: a security architecture for open distributed systems

Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems ◽

10.1109/ftdcs.1997.644703 ◽

2002 ◽

Author(s):

M. Soshi ◽

M. Maekawa

Keyword(s):

Distributed Systems ◽

Security System ◽

Security Architecture ◽

System A ◽

Open Distributed Systems

Download Full-text

An integrated framework for formal development of open distributed systems

Information and Software Technology ◽

10.1016/j.infsof.2003.09.012 ◽

2004 ◽

Vol 46 (5) ◽

pp. 281-286 ◽

Author(s):

Issa Traoré ◽

Demissie Aredo ◽

Hong Ye

Keyword(s):

Distributed Systems ◽

Integrated Framework ◽

Formal Development ◽

Open Distributed Systems

Download Full-text

Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2009.06.033 ◽

2009 ◽

Vol 229 (2) ◽

pp. 133-153

Author(s):

Yue Yu ◽

Shangping Ren ◽

Carolyn Talcott

Keyword(s):

Distributed Systems ◽

Timing Constraints ◽

Open Distributed Systems

Download Full-text

Inter-enterprise contract architecture for open distributed systems: security requirements

Proceedings of WET ICE '96. IEEE 5th Workshop on Enabling Technologies; Infrastucture for Collaborative Enterprises ◽

10.1109/enabl.1996.555065 ◽

2002 ◽

Author(s):

Z. Milosevic ◽

D. Arnold ◽

L. O'Connor

Keyword(s):

Distributed Systems ◽

Security Requirements ◽

Systems Security ◽

Open Distributed Systems

Download Full-text

Space-based Coordination and Open Distributed Systems

Process Coordination and Ubiquitous Computing ◽

10.1201/9781003072492-2 ◽

2020 ◽

pp. 3-10

Author(s):

Davide Rossi

Keyword(s):

Distributed Systems ◽

Open Distributed Systems

Download Full-text

Development of Reliable E-Commerce Applications in Large Open Distributed Systems

The E-Business Handbook ◽

10.1201/9781420025477.ch22 ◽

2001 ◽

Author(s):

Rida Bazzi ◽

Feras Karablieh

Keyword(s):

Distributed Systems ◽

Open Distributed Systems

Download Full-text

Adaptive Autonomous Agent Models for Open Distributed Systems

2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07) ◽

10.1109/iccgi.2007.10 ◽

2007 ◽

Author(s):

Sebastien Leriche ◽

Jean-Paul Arcangeli

Keyword(s):

Distributed Systems ◽

Autonomous Agent ◽

Open Distributed Systems

Download Full-text