4772 search results - page 620 / 955 » An approach to interface synthesis |
195
click to vote
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
182
click to vote
ACMDIS
2010
ACM
15 years 7 months ago
2010
ACM
Artifacts can be used to inspire, guide, and create new designs. As approaches to design can range from focusing on inspiration to formalized reasoning, we seek to create and stud...
187
click to vote
SOUPS
2010
ACM
15 years 7 months ago
2010
ACM
Social navigation is a promising approach to help users make better privacy and security decisions using community knowledge and expertise. Social navigation has recently been app...
208
Voted
CGF
2008
15 years 7 months ago
2008
Most graph visualization techniques focus on the structure of graphs and do not offer support for dealing with node attributes and edge labels. To enable users to detect relations...
198
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a Standard ML library for writing programs that automatically adjust to changes to their data. The library combines modifiable references and memoization to achieve eff...