欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Rio
Rio is an open source technology that provides a dynamic architecture for developing, deploying and managing distributed systems. Rio provides QoS based management for distributed systems, providing a policy based approach for fault detection and recovery, scalability and dynamic deployment. Key to the architecture are a set of dynamic capabilities and reliance on policy-based and Quality of Service mechanisms.
Developing services for use with Rio is simple. The approach is to provide a non-intrusive model that extends key Jini technology capabilities, while removing the complexity surrounding service development and deployment. Service development follows an elegant approach towards the creating dynamic services, using either a Plain Old Java Object (POJO) approach, or Rio's Jini Service Bean (JSB) model.
Rio is distributed under the Apache License, version 2.0
Reference
- Rio on Amazon EC2: http://blog.elastic-grid.com/2007/11/19/rio-on-amazon-ec2/