1054 search results - page 119 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
136
click to vote
VL
2003
IEEE
15 years 9 months ago
2003
IEEE
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
134
click to vote
IJCBDD
2010
15 years 2 months ago
2010
: The explosion of highthroughput interaction data from proteomics studies gives us the opportunity to integrate Protein-Protein Interactions (PPI) from different type of interacti...
145
click to vote
VRST
2004
ACM
15 years 9 months ago
2004
ACM
We have integrated technologies related to virtual social interaction, e.g. virtual environments, visual simulations, and lifelike characters. In our previous efforts to integrate...
145
click to vote
ARCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Java is widely deployed on a variety of processor architectures. Consequently, an understanding of microarchitecture level Java performance is critical to optimize curren...
176
click to vote
VRST
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we describe a method of dynamic creation of interactive presentations for Mixed Reality environments. The presentations are created automatically for collections of...