Electronic Notes in Theoretical Computer Science, Volume 292
Volume 292, March 2013
- Daniel Calegari, Nora Szasz: Verification of Model Transformations: A Survey of the State-of-the-Art. 5-25
- Alejandro Escobar, Julián Moreno Schneider, Sebastián Múnera: A Technical Analysis Indicator Based On Fuzzy Logic. 27-37
- Felipe Weber Fehlberg, Carlos Oberdan Rolim, Valderi R. Q. Leithardt, Cláudio Fernando Resin Geyer, Luciano Cavalheiro da Silva, Anubis G. M. Rossetto: MultiS: A Context-Server for Pervasive Computing. 39-56
- Emmanuel Sávio Silva Freire, Enyo José Tavares Gonçalves, Mariela Inés Cortés, Yrleyjânder Salmito Lopes, Marcius Gomes Brandão: TAO+: Extending the Conceptual Framework TAO to Support Internal Agent Architectures in Normative Multi-Agent Systems. 57-69
- J. Andrés Montoya, Carolina Mejía: Some Remarks Concerning the Algorithmic Analysis of Gene Regulatory Networks. 71-81
- Jaime A. Pavlich-Mariscal, María Consuelo Franky, Ariel Lopez: Towards Security Assurance in Round-Trip Engineering: A Type-Based Approach. 83-94
- Paulo Sérgio Medeiros dos Santos, Guilherme Horta Travassos: On the Representation and Aggregation of Evidence in Software Engineering: A Theory and Belief-based Perspective. 95-118
- José Luis Soncco-Álvarez, Mauricio Ayala-Rincón: Sorting Permutations by Reversals through a Hybrid Genetic Algorithm based on Breakpoint Elimination and Exact Solutions for Signed Permutations. 119-133
- Newton Spolaôr, Everton Alvares Cherman, Maria Carolina Monard, Huei Diana Lee: A Comparison of Multi-label Feature Selection Methods using the Problem Transformation Approach. 135-151
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team