5075 search results - page 371 / 1015 » Model-based interface development |
145
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
157
Voted
IFIP
2000
Springer
15 years 8 months ago
2000
Springer
We are developing scientific software component technology to manage the complexity of modern, parallel simulation software and increase the interoperability and re-use of scientif...
126
click to vote
AVI
2008
15 years 7 months ago
2008
This paper describes a long-term project exploring advanced visual interfaces for antenna design. MERL developed three successive prototypes that embodied an evolution towards lar...
109
Voted
CHI
2008
ACM
15 years 7 months ago
2008
ACM
This paper presents ongoing work towards development of a reporting tool that provides group work facilitators with insight into group work processes. The work includes three main...
129
click to vote
FPLAY
2008
15 years 6 months ago
2008
Tabletop games provide an intimate gaming experience where groups of friends can interact in a shared space using shared physical props. Digital tabletop games show great promise ...