4647 search results - page 258 / 930 » Composite Design Patterns |
120
click to vote
EMSOFT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
134
click to vote
CCS
2009
ACM
15 years 6 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
128
click to vote
CHI
2004
ACM
16 years 2 months ago
2004
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech, gesture and eye gaze tracking. The flexibility they offer results in ...
191
click to vote
LAWEB
2006
IEEE
15 years 8 months ago
2006
IEEE
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
UIST
2004
ACM
15 years 7 months ago
2004
ACM
Involving graphic designers in the large-scale development of user interfaces requires tools that provide more graphical flexibility and support efficient software processes. Th...