Abstract In this paper we present a framework defining the architecture of systems providing software components with means to contractualise their resource access conditions with...
We have constructed “EventStream” data collection and analysis software framework to support a wide variety of sensors that measure user’s physical state. The framework’s ...
Tool support for mobile application development can significantly improve programmer productivity and software quality. Pegboard is a novel tooling framework that extends the Ecli...
Background: Mass spectrometry is an essential analytical technique for high-throughput analysis in proteomics and metabolomics. The development of new separation techniques, preci...
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...