Sciweavers

2446 search results - page 201 / 490
» Principles of dataspace systems
Sort
View
150
Voted
FM
1991
Springer
164views Formal Methods» more  FM 1991»
15 years 7 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
159
Voted
CATA
2003
15 years 5 months ago
A Restaurant Finder using Belief-Desire-Intention Agent Model and Java Technology
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
Dongqing Lin, Thomas P. Wiggen, Chang-Hyun Jo
116
Voted
ICIP
2006
IEEE
16 years 5 months ago
Syndrome-Based Robust Video Transmission Over Networks with Bursty Losses
This paper addresses the problem of low-latency robust video delivery over packet networks characterized by a bursty loss process. We propose a joint source-channel coding based v...
Jiajun Wang, Vinod M. Prabhakaran, Kannan Ramchand...
CHI
2003
ACM
16 years 4 months ago
Taking email to task: the design and evaluation of a task management centered email tool
Email has come to play a central role in task management, yet email tool features have remained relatively static in recent years, lagging behind users' evolving practices. T...
Victoria Bellotti, Nicolas Ducheneaut, Mark Howard...
122
Voted
CHI
2001
ACM
16 years 4 months ago
DataTiles: a modular platform for mixed physical and graphical interactions
The DataTiles system integrates the benefits of two major interaction paradigms: graphical and physical user interfaces. Tagged transparent tiles are used as modular construction ...
Jun Rekimoto, Brygg Ullmer, Haruo Oba