Abstract—Since the advent of multi-core processors, the physionomy of typical clusters has dramatically evolved. This new massively multi-core era is a major change in architectu...
Users of 3D desktop applications perform tasks that require accessing data storage, moving objects, and navigation. These operations are typically performed using 2D GUI elements ...
Jeffrey S. Pierce, Matthew Conway, Maarten van Dan...
Deployment of a wireless sensor network (WSN) system is a critical step because theoretical models and assumptions often differ from real environmental characteristics and perform...
The Collaboratory for Multi-scale Chemical Science (CMCS) is developing a powerful informaticsbased approach to synthesizing multi-scale information to support a systems-based res...
James D. Myers, Thomas C. Allison, Sandra Bittner,...
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...