—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 (...
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...
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
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...
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...