4772 search results - page 232 / 955 » An approach to interface synthesis |
166
click to vote
TPPP
1994
15 years 10 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
165
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
203
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
We present a user interface, the OntoRefiner1 system, for helping the user to navigate numerous retrieved documents after a search querying a semantic portal which integrates a ver...
146
click to vote
BIRTHDAY
1991
Springer
15 years 10 months ago
1991
Springer
: In this paper, we present a software engineer's view of user-interface development. First, we illustrate the main problem areas responsible for difficulties in building high...
175
click to vote
ACMIDC
2008
15 years 8 months ago
2008
Computer-based games and technologies can be significant aids for helping children learn. However, most computer-based games simply address the learning styles of visual and audit...