This paper describes a very high-level language for clear description of distributed
algorithms and optimizations necessary for generating efficient implementations. The …

In the concept of" Web of Things", physical devices are seamlessly integrated into the Web.
Devices can be shared to others and be utilized to create new applications. This, however …

This article describes a very high-level language for clear description of distributed
algorithms and optimizations necessary for generating efficient implementations. The …

A systematic program design method can help developers ensure the correctness and
performance of programs while minimizing the development cost. This book describes a …

Object queries are essential in information seeking and decision making in vast areas of
applications. However, a query may involve complex conditions on objects and sets, which …

We consider the distributed access enforcement problem for Role-Based Access Control
(RBAC) systems. Such enforcement has become important with RBAC's increasing …

High-level query constructs help greatly improve the clarity of programs and the productivity
of programmers, and are being introduced to increasingly more languages. However, the …

Logic rules are powerful for expressing complex reasoning and analysis problems. At the
same time, they are inconvenient or impossible to use for many other aspects of …

Incremental computation aims to compute more efficiently on changed input by reusing
previously computed results. We give a high-level overview of works on incremental …

This chapter presents an overview of applications of logic programming, classifying them
based on the abstractions and implementations of logic languages that support the …