Run-time conformance checking of mobile and distributed systems using executable models.
Ahmad A. SaifanErnesto PosseJürgen DingelPublished in: PADTAD (2009)
Keyphrases
- distributed systems
- mobile computing
- fault tolerant
- distributed environment
- distributed computing
- real time systems
- load balancing
- concurrent systems
- geographically distributed
- mobile agents
- fault tolerance
- loosely coupled
- mobile phone
- agent based systems
- distributed database systems
- security policies
- operating system
- data model