Device-centric monitoring for mobile device management
Article, Conference object, Preprint
Pace, Gordon J.
13th International Workshop on Formal Engineering Approaches to Software Components and Architectures
- Publisher: Karlsruhe Institute of Technology
Computer Science - Distributed, Parallel, and Cluster Computing | Computer software -- Development | Computer science | Mathematics | Electronic computers. Computer science | Aspect-oriented programming | Computer Science - Software Engineering | QA1-939 | QA75.5-76.95 | Computer software -- Verification | Autonomous distributed systems
The ubiquity of computing devices has led to an increased need to ensure not only that the applications deployed on them are correct with respect to their specifications, but also that the devices are used in an appropriate manner, especially in situations where the dev...