Sciweavers

2917 search results - page 223 / 584
» Satisfying Interaction Constraints
Sort
View
TROB
2010
83views more  TROB 2010»
15 years 5 months ago
Passive-Set-Position-Modulation Framework for Interactive Robotic Systems
—We propose a novel framework, passive set-position modulation (PSPM), which enables us to connect a (continuoustime) robot’s position to a sequence of slowly-updating/sparse (...
Dongjun Lee, Ke Huang
ICIP
2004
IEEE
16 years 8 months ago
Videoconferencing over an intermediate-proxy
While the recent developments in access technologies such as DSL and cable enable end-users to communicate with each other in the means of video and voice, there still exist sever...
Ali C. Begen, Yucel Altunbasak
WWW
2004
ACM
16 years 7 months ago
A semantic approach for designing business protocols
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
Ashok U. Mallya, Munindar P. Singh
164
Voted
CHI
2005
ACM
16 years 7 months ago
An empirical assessment of adaptation techniques
The effectiveness of adaptive user interfaces highly depends on the how accurately adaptation satisfies the needs of users. This paper presents an empirical study that examined tw...
Theophanis Tsandilas, Monica M. C. Schraefel
ATVA
2008
Springer
139views Hardware» more  ATVA 2008»
15 years 8 months ago
Compositional Verification for Component-Based Systems and Application
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Tha...