The design of interactive software that populates an ambient space is a complex and ad-hoc process with traditional software development approaches. In an ambient space, important ...
Abstract. Coordination is an essential technique in cooperative, distributed multiagent systems. However, sophisticated coordination strategies are not always cost-effective in all...
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
Abstract— We present a “clean-slate” design for a networklayer routing and forwarding system intended to address shortcomings of the current Internet Protocol. Our design sep...
Kenneth L. Calvert, Jim Griffioen, Leonid B. Pouti...