Table of Contents

• Modularization of Logical Software Architectures for Implementation with Multiple TeamsNuno Ferreira, Nuno Santos, Ricardo J. Machado. 1-11 [doi]
• Certified Transformation for Static Single Assignment of SPMD ProgramsMohamed A. El-Zawawy. 12-17 [doi]
• An Evaluation of Domain-Specific Language Technologies for Code GenerationChristian Schmitt, Sebastian Kuckuk, Harald Köstler, Frank Hannig, Jürgen Teich. 18-26 [doi]
• An Empirical Study on the Estimation of Size and Complexity of Software Applications with Function Points AnalysisLuis M. Alves, Sérgio Oliveira, Pedro Ribeiro, Ricardo J. Machado. 27-34 [doi]
• Using Jpcap API to Monitor, Analyze, and Report Network Traffic for DDoS AttacksDileep Kumar G, C. V. Guru Rao, Manoj Kumar Singh, Farid Ahmad. 35-39 [doi]
• How the Pharmaceutical Industry and Agile Software Development Methods Conflict: A Systematic Literature ReviewAli Hajou, Ronald Batenburg, Slinger Jansen. 40-48 [doi]
• Software Process Practices in Small Software Companies in BotswanaYirsaw Ayalew, Kris Motlhala. 49-57 [doi]
• A Methodology for GUI Layer Redefinition through Virtualization and Computer VisionJ. C. Silva, J. L. Silva. 58-63 [doi]
• Extended RTS/CTS Protocol for Uni-directional FEC in Ad-Hoc CommunicationHiroaki Higaki. 64-69 [doi]
• Towards a Resilient Hybrid IaaS Cloud with Ontology and AgentsToshihiro Uchibayashi, Bernady O. Apduhan, Norio Shiratori. 70-73 [doi]
• A Cost Modelling System for Cloud ComputingDaniel Edache Ajeh, Jeremy Ellman, Shelagh Keogh. 74-84 [doi]
• Community Detection in Complex Networks Using Coupled Kuramoto OscillatorsJoao Eliakin Mota de Oliveira, Marcos G. Quiles. 85-90 [doi]
• On the Complexity of Tracking Problem for Heat EquationsMiguel Oliveira, Gueorgui Smirnov. 91-98 [doi]
• Multi-decadal Projection and Analysis of Land Cover Changes in Portugal from 1980 to 2040Sara Santos, Pedro Cabral, Alexander Zamyatin. 99-104 [doi]
• Pattern Aggregation of Wind Energy Conversion Technologies Using Clustering AnalysisPaula Odete Fernandes, Angela Paula Ferreira. 105-110 [doi]
• Computation of Optimal Control Solutions with the Tau Method and an Error EstimatorAlexandra Gavina, Jose Matos, Paulo B. Vasconcelos. 111-115 [doi]
• Remote Sensing-Based Approaches for Modeling 3D Vegetation Information in Urban AreasJohannes Schreyer, Tobia Lakes. 116-120 [doi]
• Too Many Markers, Revisited: An Empirical Analysis of Web-Based Methods for Overcoming the Problem of Too Many Markers in Zoomable Mapping ApplicationsSebastian Meier, Frank Heidmann. 121-125 [doi]
• Indoor Ventilation in Hospital Operating RoomsAna Margarida Cunha, Vasco A. Campos, José Carlos Teixeira, Senhorinha F. C. F. Teixeira. 126-130 [doi]
• Strategies for the Development of a TerritoryPierluigi Passaro. 131-145 [doi]
• Accuracy of the Discretization Matrix of a Radiative Transfer ProblemMaria Do Rosario Ribeiro Fernandes, Maria Filomena Dias D'Almeida. 146-150 [doi]
• Written Assessments with Digital InkCleon Xavier, Ana Paula Ambrosio, Fouad Georges. 151-155 [doi]
• Maximum Profit of a Cogeneration System Based on Stirling Thermodynamic CycleAna Cristina Ferreira, Manuel Nunes, Luis Martins, Senhorinha F. C. F. Teixeira. 156-160 [doi]
• An Algorithm to Recognize Shape and Position of Basic Functional Geometries Obtained by Manufacturing: An Optimization of Grid IncrementCarlos A. Costa, Joao Mendonca da Silva, Antonio Monteiro, Ana Isabel Filipe. 161-164 [doi]
• ConNet: A Network Programming Language with ConcurrencyMohamed A. El-Zawawy. 165-170 [doi]
• Extended Experiments with Ant Colony Optimization with Heterogeneous Ants for Large Dynamic Traveling Salesperson ProblemsLeonor Albuquerque Melo, Francisco B. Pereira, Ernesto Costa. 171-175 [doi]
• Sensibility Studies on a Transient Thermal Model of the Human BodySenhorinha F. C. F. Teixeira, Eduardo Falcao, Nelson Rodrigues, José Carlos Teixeira. 176-180 [doi]
• Robust Bootstrap Confidence Intervals: An Application Study for Denoising ImagesEunice Carrasquinha, Conceicao Amado, Ana M. Pires. 181-185 [doi]
• Geoportal for the Management of Natural Threat and RiskLina Maria Castro Benavides, Diana Marcela Rivera Valencia, Jose Joaquin Vila Ortega, Beatriz Susana Acosta Correa. 186-190 [doi]
• Comparison of Some Penalty and Barrier Techniques in Direct Search MethodsAldina Correia, João Matias, Pedro Mestre, Carlos Serôdio. 191-195 [doi]
• Hybrid MPI/OpenMP/OpenACC Implementations for the Solution of Convection-Diffusion Equations with the HOPMOC MethodFrederico Luis Cabral, Carla Osthoff, Mauricio Kischinhevsky, Diego N. Brandão. 196-199 [doi]
• Geospatial Recommender System for the Location of Health ServicesMaria Lopez Martinez, Daniela Avila Vazquez, Dafne Maya, Xochitl Olvera, Giovanni Guzmán, Miguel Torres, Rolando Quintero, Marco Moreno. 200-203 [doi]
• Urban Resilience and Risk Assessment: How Urban Layout Affects Flood Risk in the CityAngela Esposito, Valerio Di Pinto. 204-207 [doi]
• Comparison of the Poisson's Ratio of Simulated Rigid and Elastic Auxetic Models Using Kinematic and Finite Element AnalysisVitor Hugo Pimenta Carneiro, Helder Fernandes Puga, Jose Filipe Bizarro De Meireles. 208-211 [doi]
• Proposal Software Predictor Based on a Probabilistic ModelAnibal Zaldívar Colado, José Alfonso Aguilar Calderon, Omar Vicente García Sanchez, Carolina Tripp Barba, Jesus Adolfo Rodelo Moreno. 212-216 [doi]
• Towards a Framework for Supporting Web Search of Complex Objects via Multidimensional ParadigmsAlfredo Cuzzocrea, Guandong Xu. 217-220 [doi]
• Lumping Method with Acceleration for the PageRank ComputationI. R. Mendes, P. B. Vasconcelos. 221-224 [doi]
• AccTrace: Accessibility in Phases of Requirements Engineering, Design, and Coding SoftwareRodrigo Goncalves De Branco, Maria Istela Cagnin, Débora Maria Barroso Paiva. 225-228 [doi]
• Arrow Plot and CA Maps on Microarray Prepossessing MethodsCarina Silva-Fortes, Adelaide Freitas, Sara Roque, Lisete Sousa. 229-232 [doi]
• BetaConcept: A Program for Voronoi Diagrams, Dual Structures, and Complexes in the PlaneJae Kwan Kim, Youngsong Cho, Mokwon Lee, Jehyun Cha, Chanyoung Song, Deok-Soo Kim, Donguk Kim. 233-236 [doi]
• On the Decomposition of Use Cases for the Refinement of Software RequirementsEstrela Ferreira Cruz, Ricardo J. Machado, Maribel Yasmina Santos. 237-240 [doi]
• A Heuristic Procedure to Estimate the Tail IndexMarta Ferreira. 241-244 [doi]
• NBBR: A Baseline Method for the Evaluation of Bayesian Multi-label Classification AlgorithmsEduardo Corrêa Gonçalves. 245-247 [doi]
• Case Study in Large Scale Climate Simulations: Optimizing the Speedup/Efficiency Balance in Supercomputing EnvironmentsMuhammad Asif, Andrés Cencerrado, Oriol Mula-Valls, Domingo Manubens, Ana Cortés, Francisco Doblas-Reyes. 248-251 [doi]
• Slicing Triangle Meshes: An Asymptotically Optimal AlgorithmRodrigo M. M. H. Gregori, Neri Volpato, Rodrigo Minetto, Murilo Vicente Gonçalves da Silva. 252-255 [doi]
• Distributed Environment Framework for Optimization ExperimentsPedro Abreu, Carlos Soares, Rui Carlos Camacho. 256-259 [doi]
• User-centric and Personalized Access to Mobile Multimedia Systems Based on a Multimedia MiddlewareAndre Valdestilhas, Harald Kosch, Paulo Marcotti. 260-263 [doi]
• Analysing Students' Attitudes Towards the Learning of Specialized SoftwareCristina S. Rodrigues, Ana Maria A. C. Rocha. 264-267 [doi]
• Complementary Eigenvalue Problem in Systems with Frictional Contact: The Stiffness Matrix for the Contact Nodes between Different MaterialsMaria Antónia Forjaz, Antonio Mario Almeida, T. De Lacerda Aroso, Jorge Pamplona. 268-271 [doi]