VMPlants: Providing and Managing Virtual Machine Execution Environments for Grid Computing
Proceedings of the 2004 ACM/IEEE conference on Supercomputing
Clairvoyant: a comprehensive source-level debugger for wireless sensor networks
Proceedings of the 5th international conference on Embedded networked sensor systems
EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks
SUTC '08 Proceedings of the 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008)
LiveNet: Using Passive Monitoring to Reconstruct Sensor Network Dynamics
DCOSS '08 Proceedings of the 4th IEEE international conference on Distributed Computing in Sensor Systems
Increasing the visibility of sensor networks with passive distributed assertions
Proceedings of the workshop on Real-world wireless sensor networks
Proceedings of the 6th ACM conference on Embedded network sensor systems
Towards Ontology-Based Formal Verification Methods for Context Aware Systems
Pervasive '09 Proceedings of the 7th International Conference on Pervasive Computing
T-check: bug finding for sensor networks
Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks
Run time assurance of application-level requirements in wireless sensor networks
Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks
A theory of design-by-contract for distributed multiparty interactions
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Hi-index | 0.00 |
Digital Preservation is an important challenge for the information society. Reliable information and communication technology is crucial for most companies and software failure, is a considerable risk. Use of technologies such as Software as a Service (SaaS) and Internet of Services (IoS) means that business processes are increasingly supported by distributed, service oriented systems. We propose a concept and methods for capturing of contextual information, event causality and timing for Digital Preservation of distributed business processes and services. The architecture is derived from an architecture for monitoring sensing systems. We add a reasoner that can check whether processes adhere to explicit contracts and detect behavior anomalies, and we sketch how an inductive learner can be used to detect anomalies not covered by these contracts.