Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Cloud computing systems fundamentally provide access to large pools of data and computational resources through a variety of interfaces similar in spirit to existing grid and HPC ...
Daniel Nurmi, Richard Wolski, Chris Grzegorczyk, G...
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...
The conduct of collaborative scientific study mediated by the internet — e-Science — is giving rise to a new type of large distributed software project. This paper reports in...
an abstract model for information sharing and integration and use it to develop an architecture for building open, component-based, interoperable systems. A geographic information ...