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...
Robert Chatley, Jeff Kramer, Jeff Magee, Sebasti&a...
Applying personal keywords to images and video clips makes it possible to organize and retrieve them, as well as automatically create thematically related slideshows. MediaBrowser...
Steven M. Drucker, Curtis Wong, Asta Roseway, Stev...
High-Throughput Docking has emerged as a well establish method for identifying lead components in the process of searching for new drugs. The High-Throughput Docking Service provi...
Joseph Gill, Legand L. Burge III, Zengjian Hu, Wil...
SensLAB's goal is to provide a very large scale open wireless sensor network testbed, by deploying 1024 nodes over 4 interconnected sites, and to offer a reference tool for th...
Tony Ducrocq, Julien Vandaele, Nathalie Mitton, Da...
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...