Pessanha, Vasco, Ricardo J. Dias, João M. Lourenço, Eitan Farchi, and Diogo Sousa. "
Practical verification of high-level dataraces in transactional memory programs."
Proceedings of 9th the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. PADTAD'11. New York, NY, USA: ACM, 2011. 26-34.
AbstractIn this paper we present MoTh, a tool that uses static analysis to enable the automatic verification of concurrency anomalies in Transactional Memory Java programs. Currently MoTh detects high-level dataraces and stale-value errors, but it is extendable by plugging-in sensors, each sensor implementing an anomaly detecting algorithm. We validate and benchmark MoTh by applying it to a set of well known concurrent buggy programs and by close comparison of the results with other similar tools. The results achieved so far are very promising, yielding good accuracy while triggering only a very limited number of false warnings.
Gonçalves, Ricardo, and José Júlio Alferes. "
Parametrized Equilibrium Logic."
Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011. Springer, 2011. 236-241.
Abstract
Cardoso, Tiago, and Luis M. Camarinha-Matos. "
Pro-activity in collaborative service ecosystems."
Working Conference on Virtual Enterprises. Springer, Berlin, Heidelberg, 2011. 377-387.
AbstractService Orientation has been an extensively used approach to model the services Collaborative Networks' (CN) members are willing to provide to customers. The evolution of this paradigm has followed an improvement path since its early forms. Nevertheless bottlenecks still exist, namely in what concerns: 1) a gap between the business and the information and communication technology perspectives; 2) an adequate Quality of Service (QoS) assessment mechanism for the CN context. As a contribution to these issues, this paper proposes: 1) the creation of a collaborative Service Ecosystem, introducing pro-activeness elements towards an auto-initiative representation of CN member's services; 2) the introduction of a QoS mechanism needed to facilitate the assessment of services in a CN context.
Cardoso, Tiago, and Luis M. Camarinha-Matos. "
ProActive Service Entity Framework: Improving Service Selection Chances within Large Senior Professional Virtual Community Scenario."
Doctoral Conference on Computing, Electrical and Industrial Systems. Springer, Berlin, Heidelberg, 2011. 21-29.
AbstractWithin a Collaborative Business Ecosystem context, as the network evolves, the competition between members increases and, as a consequence, members face the challenge to improve the chances their services have to be selected. On the other hand, the distance between Business Services and “Computational Services” is still a bottleneck for the automation of service provision. This paper extends the Pro-Active Service Entity Framework, proposing a mechanism to improve the service selection chances, based on the refinement of a Quality of Service concept for this context, and introduces a new class of actors for the framework – the intermediaries, needed to shorten the distance between Business and Computational perspectives.
Lourenço, João M., Eitan Farchi, and Shmuel Ur Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD'11). Eds. João M. Lourenço, Eitan Farhi, and Shmuel Ur. New York, NY, USA: ACM, 2011.
Abstract