João Costa Seco

Learn More
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context dependence, dynamic binding and subtype polymorphism, late (dynamic) composition, and avoidance of inheritance in favor of object composition — that several authors have defended to(More)
We present a process-calculus model for expressing and analyzing service-based systems. Our approach addresses central features of the service-oriented computational model such as distribution, process delegation, communication and context sensitive-ness, and loose coupling. Distinguishing aspects of our model are the notion of conversation context, the(More)
This paper describes an evolution of the ComponentJ programming language, a component-based Java-like programming language where composition is the chosen structuring mechanism. Com-ponentJ constructs allow for the high-level specification of component structures, which are the basis for the definition of compound objects. In this paper we present a new(More)
Data-centric multiuser systems, such as web applications, require flexible yet fine-grained data security mechanisms. Such mechanisms are usually enforced by a specially crafted security layer, which adds extra complexity and often leads to error prone coding , easily causing severe security breaches. In this paper, we introduce a programming language(More)
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dynamic reconfiguration in object-based systems. We show how our language can model typed entities analogous of configuration scripts, makefiles, components, and component instances,(More)
This paper presents an automatic verification technique for transactional memory Java programs executing under snapshot isolation level. We certify which transactions in a program are safe to execute under snapshot isolation without triggering the write-skew anomaly, opening the way to run-time optimizations that may lead to considerable performance(More)
One of the most important tasks on robot soccer is localization. The team robots should self-localize on the 18 x 12 meters soccer field. Since a few years ago the soccer field has increased and the corner posts were removed and that increased the localization task complexity. One important aspect to take care for a proper localization is to find out the(More)
This paper presents CoopSLA (Cooperative Semantic Locality Awareness), a consistency model for cooperative editing applications running in resource-constrained mobile devices. In CoopSLA, updates to different parts of the document have different priorities, depending on the relative interest of the user in the region where the update is performed ; updates(More)