• Publications
  • Influence
Virtual Time and Global States of Distributed Systems
This work argues that a linearly ordered structure of time is not (always) adequate for distributed systems and proposes a generalized non-standard model of time which consists of vectors of clocks which are partially ordered and form a lattice. Expand
The design space of wireless sensor networks
This article discusses the consequences of this fact with regard to the design space of wireless sensor networks by considering its various dimensions and justifies the view by demonstrating that specific existing applications occupy different points in thedesign space. Expand
Unifying Theories of Programming
This paper instantiates the ideas in Hoare and He’s Unifying Theories of Programming, with each different treatment of undefinedness formalized as a UTP theory, and shows how classical logic can be used to prove semi-classical facts. Expand
From the Internet of Computers to the Internet of Things
RFID and other important technological developments such as IP stacks and web servers for smart everyday objects are considered and social and governance issues that are likely to arise as the vision of the Internet of Things becomes a reality are discussed. Expand
Efficient Algorithms for Distributed Snapshots and Global Virtual Time Approximation
  • F. Mattern
  • Computer Science
  • J. Parallel Distributed Comput.
  • 1 August 1993
This paper presents snapshot algorithms for determining a consistent global state of a distributed system without significantly affecting the underlying computation by using snapshot algorithms and distributed termination detection principles. Expand
From the Internet of Things to the Web of Things: Resource-oriented Architecture and Best Practices
This chapter describes the Web of Things (WoT) architecture and best practices based on the RESTful principles that have already contributed to the popular success, scalability, and evolvability of the Web. Expand
Smart-Its Friends: A Technique for Users to Easily Establish Connections between Smart Artefacts
This work proposes context proximity for selective artefact communication, using the context of artefacts for matchmaking, and suggests to empower users with simple but effective means to impose the same context on a number of artefacts. Expand
Detecting causal relationships in distributed computations: In search of the holy grail
It is shown that characterizing the causal relationship between significant events is an important but non-trivial aspect for understanding the behavior of distributed programs. Expand
Middleware challenges for wireless sensor networks
The purpose, functionality, and characteristics of middleware for sensor networks, which support the development of applications for large populations of wirelessly connected nodes capable of computation, communication, and sensing, are examined. Expand
Social, Economic, and Ethical Implications of Ambient Intelligence and Ubiquitous Computing
This contribution is a first attempt to classify the social, economic, and ethical implications of this development of ambient intelligence and ubiquitous computing. Expand