The bursting of the e-bubble affected expectations with regard to mobile initiatives and willingness to invest in them very negatively. In both academia and practice, there has re...
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
W. Douglas Obal II, Michael G. McQuinn, William H....
A vital task facing government agencies and commercial organizations that report data is to represent the data in a meaningful way and simultaneously to protect the confidentialit...
Fred Glover, Lawrence H. Cox, Rahul Patil, James P...
We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the di...
There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and mana...