Sciweavers

2836 search results - page 481 / 568
» Model Checking for Software Architectures
Sort
View
CHI
1995
ACM
15 years 9 months ago
A Generic Platform for Addressing the Multimodal Challenge
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...
Laurence Nigay, Joëlle Coutaz
CADUI
2006
15 years 7 months ago
Designing And Developing Multi-User, Multi-Device Web Interfaces
: 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...
Fabio Paternò, Ines Santos
DAGSTUHL
2001
15 years 7 months ago
Programmable Networks
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...
Andrew T. Campbell, Michael E. Kounavis, John B. V...
SERP
2004
15 years 7 months ago
Using ZOOM Approach to Support MDD
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...
Xiaoping Jia, Adam Steele, Hongming Liu, Lizhang Q...
163
Voted
WSC
2000
15 years 6 months ago
An agent-based framework for linking distributed simulations
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 ...
Linda F. Wilson, Daniel Burroughs, Jeanne Sucharit...