This paper presents the OWL API a high level Application Programming Interface (API) for working with OWL 2 ontologies. The API is closely aligned with the OWL 2 structural speci...
The paper is devoted to analysis of a strategy of computation distribution on heterogeneous parallel systems. According to this strategy processes of parallel program are distribu...
With-loops are versatile array comprehensions used in the functional array language SaC to implement universally applicable array operations. We describe the fusion of with-loops a...
We present the Mobile Resource Guarantees framework: a system for ensuring that downloaded programs are free from run-time violations of resource bounds. Certificates are attached...
David Aspinall, Stephen Gilmore, Martin Hofmann, D...
Abstract. Plugins are optional components which can be used to enable the dynamic construction of flexible and complex systems, passing as much of the configuration management ef...