Sciweavers

2226 search results - page 80 / 446
» Scalable Trigger Processing
Sort
View
ICT
2004
Springer
128views Communications» more  ICT 2004»
15 years 11 months ago
SRBQ and RSVPRAgg: A Comparative Study
Abstract This paper presents a comparative evaluation of the Scalable ReservationBased QoS (SRBQ) and the RSVP Reservation Aggregation (RSVPRAgg) architectures, both designed to pr...
Rui Prior, Susana Sargento, Pedro Brandão, ...
CHI
2009
ACM
16 years 6 months ago
Exploring the design of accessible goal crossing desktop widgets
Prior work has shown that goal crossing may be a more accessible interaction technique than conventional pointing-and-clicking for motor-impaired users. Although goal crossing wit...
Eun Kyoung Choe, Kristen Shinohara, Parmit K. Chil...
OSDI
2004
ACM
16 years 6 months ago
FUSE: Lightweight Guaranteed Distributed Failure Notification
FUSE is a lightweight failure notification service for building distributed systems. Distributed systems built with FUSE are guaranteed that failure notifications never fail. When...
John Dunagan, Nicholas J. A. Harvey, Michael B. Jo...
TACAS
2009
Springer
127views Algorithms» more  TACAS 2009»
16 years 29 days ago
From Tests to Proofs
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
Ashutosh Gupta, Rupak Majumdar, Andrey Rybalchenko
SASO
2008
IEEE
16 years 17 days ago
Semantic Web Based Self-Management for a Pervasive Service Middleware
Self-management is one of the challenges for realizing Ambient Intelligence in pervasive computing. In this paper, we propose and present a semantic web based selfmanagement appro...
Weishan Zhang, Klaus Marius Hansen