3456 search results - page 512 / 692 » Algorithms for Interface Synthesis |
120
Voted
EICS
2010
ACM
15 years 4 months ago
2010
ACM
We propose an approach that takes as input a task model, which includes the user's view of the interactive system, and automatically discovers a set of categorized and ranked...
107
click to vote
ASSETS
2008
ACM
15 years 4 months ago
2008
ACM
Word prediction helps to increase communication rate when using Augmentative and Alternative Communication devices. Basic prediction systems offer topically inappropriate predicti...
114
Voted
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
Web service business protocols are of importance to both clients and providers, as they model the external behaviour of services. However, the business protocol is not always publ...
104
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
127
click to vote
FORMATS
2008
Springer
15 years 4 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...