41 citations
- Universidade Federal de PernambucoBR9 papers
- Institut Jean LamourFR3 papers
- Italian Institute of TechnologyIT3 papers
- Universidade Federal da ParaíbaBR3 papers
- Universidade Federal de Campina GrandeBR3 papers
- Universidade Federal Rural de PernambucoBR3 papers
- Université de LorraineFR3 papers
- Deakin UniversityAU2 papers
- North Carolina State UniversityUS2 papers
- Universidad Central de ChileCL2 papers
- Universidade Federal de AlagoasBR2 papers
- Universidade Federal do PiauíBR2 papers
Showing 2010Show all
2 papers · 1 filter
cs.SE2010★ 4 cited
The Emerging Web of Social Machines
Silvio R. L. Meira, Vanilson A. A. Buregio, Leandro M. Nascimento +4
We define a notion of social machine and envisage an algebra that can describe networks of such. To start with, social machines are defined as tuples of input, output, processes, c…
cs.LO2010
Object-oriented Programming Laws for Annotated Java Programs
Gabriel Falconieri Freitas, Márcio Cornélio, Tiago Massoni +1
Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependen…