SyncProbe improves the end-to-end predictability of distributed systems by providing applications with a real-time estimate of the maximum expected message delay (upper bound on c...
This study found internet-enabled public deliberation having a direct impact on top-level decisions and it identified institutional mechanisms by which this occurs. Most governmen...
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
— Social Web Application (SWA) design and development is a complex process that requires the understanding and coordination of several domains of knowledge. Yet there remain few ...
In this demonstration, we are going to illustrate how to give a presentation using multiple displays connected to the Internet. Categories and Subject Descriptors H.4.3 [Communica...