We introduce FoXQ, a visual language that would enable end users to query XML. Our aim is to develop a language that would bring a lot of the functionality of XQuery within the re...
—This paper presents IQP - a novel approach to bridge the gap between usability of keyword search and expressiveness of database queries. IQP enables a user to start with an arbi...
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
The Experience Management System (EMS) is aimed at supporting the capture and reuse of software-related experience, based on the Experience Factory concept. It is being developed ...
We describe a user interface for wireless information devices, specifically designed to facilitate learning about users’ individual interests in daily news stories. User feedbac...