2836 search results - page 481 / 568 » Model Checking for Software Architectures |
154
click to vote
CHI
1995
ACM
15 years 9 months ago
1995
ACM
Multimodal interactive systems support multiple interaction techniques such as the synergistic use of speech and direct manipulation. The flexibility they offer results in an incr...
242
click to vote
CADUI
2006
15 years 7 months ago
2006
: The need for support of multi-user interaction is growing in several application domains, including the Web. However, there is a lack of tools able to support designers and devel...
145
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
In this paper we present a programmable networking model that provides a common framework for understanding the state-of-the-art in programmable networks. A number of projects are...
172
click to vote
SERP
2004
15 years 7 months ago
2004
Model-Driven Development (MDD) represents a positive step toward a general model-based approach to software engineering. The Object Management Group (OMG) offers a conceptual fram...
163
Voted
WSC
2000
15 years 6 months ago
2000
Simulations often operate on static datasets and data sources, but many simulations would benefit from access to dynamic data. This paper describes our work developing a software ...