Formal Contracts for Runtime Verification Support in the Ada Programming Language

Poster presented in The 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 24 to 26, Mar, 2015. Porto, Portugal.

Architecture to Support Quality of Service in Arrowhead Systems

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Covilhã, Portugal.

Brazilian fruit pulps as functional foods and additives: Evaluation of bioactive compounds

Eight tropical fruit pulps from Brazil were simultaneously characterised in terms of their antioxidant and antimicrobial properties. Antioxidant activity was screened by DPPH radical scavenging activity (126–3987 mg TE/100 g DW) and ferric reduction activity power (368–20819 mg AAE/100 g DW), and complemented with total phenolic content (329–12466 mg GAE/100 g DW) and total flavonoid content measurements (46–672 mg EE /100 g DW), whereas antimicrobial activity was tested against the most frequently found food pathogens. Acerola and açaí presented the highest values for the antioxidant-related measurements. Direct correlations between these measurements could be observed for some of the fruits. Tamarind exhibited the broadest antimicrobial potential, having revealed growth inhibition of Pseudomonas aeruginosa. Escherichia coli, Listeria monocytogenes, Salmonella sp. and Staphylococcus aureus. Açaí and tamarind extracts presented an inverse relationship between antibacterial and antioxidant activities, and therefore, the antibacterial activity cannot be attributed (only) to phenolic compounds.

Run-time Monitoring Architecture for RealTime Systems

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.

Crowdsourcing innovation: a proposal for a brokering architecture focused in the innovation needs of SMEs

Crowdsourcing is evolving into powerful outsourcing options for organizations by providing access to the intellectual capital within a vast knowledge community. Innovation brokering services have emerged to facilitate crowdsourcing projects by connecting up companies with potential solution providers within the wider ‘crowd’. Most existing innovation brokering services are primarily aimed at larger organizations, however, Small and Medium Enterprises (SMEs) offer considerable potential for crowdsourcing activity since they are typically the innovation and employment engines in society; they are typically more nimble and responsive to the business environment than the larger companies. SMEs have very different challenges and needs to larger organizations since they have fewer resources, a more limited knowledge and skill base, and immature management practices. Consequently, innovation brokering for SMEs require considerably more support than for larger organizations. This paper identifies the crowdsourcing innovation brokerage facilities needed by SMEs, and presents an architecture that encourages knowledge sharing, development of community, support in mixing and matching capabilities, and management of stakeholders’ risks. Innovation brokering is emerging as a novel business model that is challenging concepts of the traditional value chain and organizational boundaries.