Motivation – This research aims at investigating emerging roles and forms of participation fostering design-use mediation during the Open Source Software design process Research...
A referral system is a multiagent system whose member agents are capable of giving and following referrals. The specific cases of interest arise where each agent has a user. The ...
This paper presents a process for the development of a Model-Driven Architecture (MDA) tool for the construction of service-oriented component-based applications. The process is u...
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
Lei Ju, Bach Khoa Huynh, Samarjit Chakraborty, Abh...
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...