Time and the Web: Representing and Reasoning about Temporal Properties of Interaction with Distributed Systems.
Chris W. JohnsonPublished in: BCS HCI (1995)
Keyphrases
- distributed systems
- temporal properties
- model checking
- fault tolerant
- distributed environment
- geographically distributed
- fault tolerance
- load balancing
- concurrent systems
- mobile agents
- data replication
- possibility theory
- emergent behavior
- loosely coupled
- distributed computing
- semantic web
- formal methods
- formal specification
- incomplete information
- expert systems