262 search results - page 22 / 53 » State Space Reduction Techniques for Component Interfaces |
102
click to vote
ICSE
2007
IEEE-ACM
15 years 6 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
Increasingly large text datasets and the high dimensionality associated with natural language create a great challenge in text mining. In this research, a systematic study is cond...
CHI
2006
ACM
16 years 6 days ago
2006
ACM
The size of human fingers and the lack of sensing precision can make precise touch screen interactions difficult. We present a set of five techniques, called Dual Finger Selection...
CHI
1993
ACM
15 years 3 months ago
1993
ACM
An adaptive user interface relies, to a large extent, upon an adequate user model (e.g., a representationof user-expertise). However, building a user model may be a tedious and ti...
106
click to vote
APLAS
2010
ACM
14 years 9 months ago
2010
ACM
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...