Abstract is missing.
- Cloud-Based Tasking, Collection, Processing, Exploitation, and Dissemination in a Case-Based Reasoning SystemStuart H. Rubin, Gordon K. Lee. 1-26 [doi]
- Simulation-Based Validation for Smart Grid Environments: Framework and Experimental ResultsWonkyu Han, Mike Mabey, Gail-Joon Ahn, Tae Sung Kim. 27-44 [doi]
- An Institution for Alloy and Its Translation to Second-Order LogicRenato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa. 45-75 [doi]
- A Framework for Verification of SystemC Designs Using SystemC Waiting State AutomataNesrine Harrath, Bruno Monsuez, Kamel Barkaoui. 77-104 [doi]
- Formal MDE-Based Tool DevelopmentRobson Silva, Alexandre Mota, Rodrigo Rizzi Starr. 105-125 [doi]
- Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor NetworksFatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham. 127-150 [doi]
- On the Use of Anaphora Resolution for Workflow ExtractionPol Schumacher, Mirjam Minor, Eric Schulte-Zurhausen. 151-170 [doi]
- A Minimum Description Length Technique for Semi-Supervised Time Series ClassificationNurjahan Begum, Bing Hu 0001, Thanawin Rakthanmanon, Eamonn J. Keogh. 171-192 [doi]
- Interpreting Random Forest Classification Models Using a Feature Contribution MethodAnna Palczewska, Jan Palczewski, Richard Marchese Robinson, Daniel Neagu. 193-218 [doi]
- Towards a High Level Language for Reuse and IntegrationThouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib, Asmaa Chebba, Sofia Mellah, Lynda Allata. 219-239 [doi]
- An Exploratory Case Study on Exploiting Aspect Orientation in Mobile Game PortingTanmay Bhowmik, Vander Alves, Nan Niu. 241-261 [doi]
- Developing Frameworks from Extended Feature ModelsMatheus Carvalho Viana, Rosangela Penteado, Antônio Francisco do Prado, Rafael Serapilha Durelli. 263-284 [doi]
- About Handling Non-conflicting Additional InformationÉric Grégoire. 285-297 [doi]
- A Multi-Layer Moving Target Defense Approach for Protecting Resource-Constrained Distributed DevicesValentina Casola, Alessandra De Benedictis, Massimiliano Albanese. 299-324 [doi]
- Protocol Integration for Trust-Based CommunicationFatma Laidoui, Thouraya Bouabana-Tebibel. 325-340 [doi]