An integrated framework for formal development of open distributed systems

Issa Traoré; Demissie Aredo; Hong Ye

doi:10.1016/j.infsof.2003.09.012

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 ◽

Cited By ~ 1

Author(s):

Issa Traoré ◽

Demissie Aredo ◽

Hong Ye

Keyword(s):

Distributed Systems ◽

Integrated Framework ◽

Formal Development ◽

Open Distributed Systems

Download Full-text

An integrated framework for formal development of open distributed systems

Proceedings of the 2003 ACM symposium on Applied computing - SAC '03 ◽

10.1145/952532.952744 ◽

2003 ◽

Cited By ~ 2

Author(s):

Issa Traoré ◽

Demissie B. Aredo ◽

Hong Ye

Keyword(s):

Distributed Systems ◽

Integrated Framework ◽

Formal Development ◽

Open Distributed Systems

Download Full-text

Combining Graphical and Formal Development of Open Distributed Systems

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/3-540-47884-1_18 ◽

2002 ◽

pp. 319-338 ◽

Cited By ~ 1

Author(s):

Einar B. Johnsen ◽

Wenhui Zhang ◽

Olaf Owe ◽

Demissie B. Aredo

Keyword(s):

Distributed Systems ◽

Formal Development ◽

Open Distributed Systems

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

Advanced design concepts for open distributed systems development

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

10.1109/ftdcs.1993.344211 ◽

2002 ◽

Cited By ~ 1

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

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 ◽

Cited By ~ 1

Author(s):

M. Soshi ◽

M. Maekawa

Keyword(s):

Distributed Systems ◽

Security System ◽

Security Architecture ◽

System A ◽

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 ◽

Cited By ~ 8

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 ◽

Cited By ~ 3

Author(s):

Sebastien Leriche ◽

Jean-Paul Arcangeli

Keyword(s):

Distributed Systems ◽

Autonomous Agent ◽

Open Distributed Systems

Download Full-text