Stop the war!
Остановите войну!
for scientists:
default search action
IRI 2013: San Francisco, CA, USA - Selected Papers
- Thouraya Bouabana-Tebibel, Stuart H. Rubin:
Integration of Reusable Systems [extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, San Francisco, CA, USA, August 2013]. Advances in Intelligent Systems and Computing 263, Springer 2014, ISBN 978-3-319-04716-4 - Stuart H. Rubin, Gordon K. Lee:
Cloud-Based Tasking, Collection, Processing, Exploitation, and Dissemination in a Case-Based Reasoning System. 1-26 - Wonkyu Han, Mike Mabey, Gail-Joon Ahn, Tae Sung Kim:
Simulation-Based Validation for Smart Grid Environments: Framework and Experimental Results. 27-44 - Renato Neves, Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa:
An Institution for Alloy and Its Translation to Second-Order Logic. 45-75 - Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui:
A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. 77-104 - Robson Silva, Alexandre Mota, Rodrigo Rizzi Starr:
Formal MDE-Based Tool Development. 105-125 - Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham:
Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks. 127-150 - Pol Schumacher, Mirjam Minor, Eric Schulte-Zurhausen:
On the Use of Anaphora Resolution for Workflow Extraction. 151-170 - Nurjahan Begum, Bing Hu, Thanawin Rakthanmanon, Eamonn J. Keogh:
A Minimum Description Length Technique for Semi-Supervised Time Series Classification. 171-192 - Anna Palczewska, Jan Palczewski, Richard Marchese Robinson, Daniel Neagu:
Interpreting Random Forest Classification Models Using a Feature Contribution Method. 193-218 - Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib, Asmaa Chebba, Sofia Mellah, Lynda Allata:
Towards a High Level Language for Reuse and Integration. 219-239 - Tanmay Bhowmik, Vander Alves, Nan Niu:
An Exploratory Case Study on Exploiting Aspect Orientation in Mobile Game Porting. 241-261 - Matheus Carvalho Viana, Rosângela A. D. Penteado, Antônio Francisco do Prado, Rafael Serapilha Durelli:
Developing Frameworks from Extended Feature Models. 263-284 - Éric Grégoire:
About Handling Non-conflicting Additional Information. 285-297 - Valentina Casola, Alessandra De Benedictis, Massimiliano Albanese:
A Multi-Layer Moving Target Defense Approach for Protecting Resource-Constrained Distributed Devices. 299-324 - Fatma Laidoui, Thouraya Bouabana-Tebibel:
Protocol Integration for Trust-Based Communication. 325-340
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.