Reasoning about knowledge in multilevel secure distributed systems

Proceedings. 1988 IEEE Symposium on Security and Privacy ◽

10.1109/secpri.1988.8104 ◽

2003 ◽

Cited By ~ 8

Author(s):

J.I. Glasgow ◽

G.H. MacEwen

Keyword(s):

Distributed Systems ◽

Reasoning About Knowledge

Download Full-text

Using Reasoning About Knowledge to Analyze Distributed Systems

Annual Review of Computer Science ◽

10.1146/annurev.cs.02.060187.000345 ◽

1987 ◽

Vol 2 (1) ◽

pp. 37-68 ◽

Cited By ~ 58

Author(s):

J Y Halpern

Keyword(s):

Distributed Systems ◽

Reasoning About Knowledge

Download Full-text

Reasoning about Knowledge in Asynchronous Distributed Systems

Logic Journal of IGPL ◽

10.1093/jigpal/jzi002 ◽

2005 ◽

Vol 13 (1) ◽

pp. 5-28 ◽

Cited By ~ 1

Author(s):

Vania Costa ◽

Mario Benevides

Keyword(s):

Distributed Systems ◽

Reasoning About Knowledge

Download Full-text

Knowlog: A Declarative Language for Reasoning about Knowledge in Distributed Systems

Conceptual Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34002-4_47 ◽

2012 ◽

pp. 572-577 ◽

Cited By ~ 1

Author(s):

Matteo Interlandi

Keyword(s):

Distributed Systems ◽

Declarative Language ◽

Reasoning About Knowledge

Download Full-text

Reasoning about Knowledge in Distributed Systems Using Datalog

Lecture Notes in Computer Science - Datalog in Academia and Industry ◽

10.1007/978-3-642-32925-8_11 ◽

2012 ◽

pp. 99-110 ◽

Cited By ~ 1

Author(s):

Matteo Interlandi

Keyword(s):

Distributed Systems ◽

Reasoning About Knowledge

Download Full-text

Emotion Detection Device and Method For Use in Distributed Systems

PsycEXTRA Dataset ◽

10.1037/e623582012-001 ◽

2012 ◽

Cited By ~ 1

Author(s):

Ian M. Bennett

Keyword(s):

Distributed Systems ◽

Emotion Detection

Download Full-text

Emphasizing Distributed Systems

10.1016/s0065-2458(05)x8001-9 ◽

2000 ◽

Keyword(s):

Distributed Systems

Download Full-text

Computational Methods for Optimizing Distributed Systems

10.1016/s0076-5392(08)x6160-0 ◽

1984 ◽

Keyword(s):

Distributed Systems ◽

Computational Methods

Download Full-text

Lumped approximation of distributed systems and controllability questions

IEE Proceedings D Control Theory and Applications ◽

10.1049/ip-d.1985.0017 ◽

1985 ◽

Vol 132 (3) ◽

pp. 89 ◽

Cited By ~ 5

Author(s):

B.D.O. Anderson ◽

P.C. Parks

Keyword(s):

Distributed Systems

Download Full-text

Managing evolution in distributed systems

Software Engineering Journal ◽

10.1049/sej.1989.0044 ◽

1989 ◽

Vol 4 (6) ◽

pp. 321 ◽

Cited By ~ 1

Author(s):

Jeff Kramer ◽

Jeff Magee ◽

Morris Sloman

Keyword(s):

Distributed Systems

Download Full-text

The use of GMB in the design of robust software for distributed systems

Software Engineering Journal ◽

10.1049/sej.1989.0037 ◽

1989 ◽

Vol 4 (5) ◽

pp. 268 ◽

Cited By ~ 10

Author(s):

Geoffrey F. Carpenter ◽

Andrew M. Tyrrell

Keyword(s):

Distributed Systems

Download Full-text