A DSL for WSN software components coordination von Carrero, Marcos Aurélio, Musicante, Martin A., dos Santos, Aldri Luiz, Hara, Carmem S.

Volltext

A two-level formal model for Big Data processing programs von de Souza Neto, João Batista, Martins Moreira, Anamaria, Vargas-Solar, Genoveva, Musicante, Martin A.

Volltext

TRANSMUT‐Spark: Transformation mutation for Apache Spark von Souza Neto, João Batista, Martins Moreira, Anamaria, Vargas‐Solar, Genoveva, Musicante, Martin A.

Volltext

Designing service-based applications in the presence of non-functional properties: A mapping study von Souza Neto, Plácido A., Vargas-Solar, Genoveva, da Costa, Umberto Souza, Musicante, Martin A.

Volltext

Querying graph databases using context-free grammars von Medeiros, Ciro M., Musicante, Martin A., Costa, Umberto S.

Volltext

ANEMONA: a programming language for network monitoring applications von Duarte Jr, Elias Procópio, Musicante, Martin A., Fernandes, Henrique Denes H.

Volltext

Incremental Constraint Checking for XML Documents von Abrão, Maria Adriana, Bouchou, Béatrice, Ferrari, Mírian Halfeld, Laurent, Dominique, Musicante, Martin A.

Volltext

LL-based query answering over RDF databases von Medeiros, Ciro M., Musicante, Martin A., Costa, Umberto S.

Volltext

Schema Evolution for XML: A Consistency-Preserving Approach von Bouchou, Béatrice, Duarte, Denio, Alves, Mírian Halfeld Ferrari, Laurent, Dominique, Musicante, Martin A.

Volltext

Semantic Web Services testing: A Systematic Mapping study von de Souza Neto, João B., Moreira, Anamaria M., Musicante, Martin A.

Volltext

Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator) von da Luz, Robson, Halfeld Ferrari, Mírian, Musicante, Martin A.

Volltext

Data Centred Intelligent Geosciences: Research Agenda and Opportunities Position Paper von do Nascimento, Aderson Farias, Musicante, Martin A., Costa, Umberto Souza da, Carvalho, Bruno M., Nunes, Marcus Alexandre, Vargas-Solar, Genoveva

Volltext

Using Provenance in Data Analytics for Seismology: Challenges and Directions von da Costa, Umberto Souza, Espinosa-Oviedo, Javier Alfonso, Musicante, Martin A., Vargas-Solar, Genoveva, Zechinelli-Martini, José-Luis

Volltext

A Bottom-Up Algorithm for Answering Context-Free Path Queries in Graph Databases von Santos, Fred C., Costa, Umberto S., Musicante, Martin A.

Volltext

Formal specification of SNMPv3 entities using action semantics von Duarte Jr, Elias P., Musicante, Martin A., Furlan, Diógenes Cogo

Volltext

Modeling Big Data Processing Programs von de Souza Neto, João Batista, Moreira, Anamaria Martins, Vargas-Solar, Genoveva, Musicante, Martin A.

Volltext

JCML: A specification language for the runtime verification of Java Card programs von da Costa, Umberto Souza, Moreira, Anamaria Martins, Musicante, Martin A., Souza Neto, Plácido A.

Volltext

BTestBox: A Tool for Testing B Translators and Coverage of B Models von de Azevedo Oliveira, Diego, Medeiros, Valério, Déharbe, David, Musicante, Martin A.

Volltext

An Algorithm for Context-Free Path Queries over Graph Databases von Medeiros, Ciro M, Musicante, Martin A, Costa, Umberto S

Volltext bestellen

Data Centred Intelligent Geosciences: Research Agenda and Opportunities, Position Paper von Nascimento, Aderson Farias do, Musicante, Martin A, da Costa, Umberto Souza, Carvalho, Bruno M, Nunes, Marcus Alexandre, Vargas-Solar, Genoveva

Volltext bestellen