![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
14th SoMeT 2015: Naples, Italy
- Hamido Fujita
, Guido Guizzi:
Intelligent Software Methodologies, Tools and Techniques - 14th International Conference, SoMeT 2015, Naples, Italy, September 15-17, 2015. Proceedings. Communications in Computer and Information Science 532, Springer 2015, ISBN 978-3-319-22688-0
Embedded and Mobile Software Systems, Theory and Application
- Tobias Griebe, Marc Hesenius
, Volker Gruhn:
Towards Automated UI-Tests for Sensor-Based Mobile Applications. 3-17 - Kensuke Onishi
:
Indoor Position Detection Using BLE Signals Based on Voronoi Diagram. 18-29 - Samer Zein, Norsaremah Salleh
, John C. Grundy
:
Mobile Application Testing in Industrial Contexts: An Exploratory Multiple Case-Study. 30-41 - Syrine Ben Meskina, Narjes Doggaz, Mohamed Khalgui
:
An Efficient Reconfiguration-Based Approach for Improving Smart Grid Performance. 42-55
Real Time Systems
- Maroua Gasmi, Olfa Mosbahi, Mohamed Khalgui
, Luís Gomes
:
PEDASA: Priority, Energy and Deadline Aware Scheduling Algorithm. 59-72 - Aymen Gammoudi, Adel Benzina
, Mohamed Khalgui
, Daniel Chillet
:
New Pack Oriented Solutions for Energy-Aware Feasible Adaptive Real-Time Systems. 73-86 - Farid Adaili, Olfa Mosbahi, Mohamed Khalgui
, Samia Bouzefrane:
New Solutions for Useful Execution Models of Communicating Adaptive RA2DL. 87-101
Requirement Engineering, High-Assurance and Testing System
- Mert Ozkaya
:
Architectural Specification and Analysis of the Aegis Combat System. 105-119 - Sören Witt, Sven Feja, Christian Hadler, Andreas Speck, Elke Pulvermüller:
Visualization of Checking Results for Graphical Validation Rules. 120-136 - Peter T. Breuer
, Jonathan P. Bowen
, Simon Pickin
:
Processor Rescue - Safe Coding for Hardware Aliasing. 137-148 - Ahmed El-Serafy, Cherif R. Salama
, Ayman Wahba
:
Automatic Test Data Generation Targeting Hybrid Coverage Criteria. 149-160 - Ghada El-Sayed, Cherif R. Salama
, Ayman Wahba
:
Optimization of Generated Test Data for MC/DC. 161-172
Social Networks and Big Data
- Thabit Sabbah
, Ali Selamat:
Hybridized Feature Set for Accurate Arabic Dark Web Pages Classification. 175-189 - Chidchanok Choksuchat
, Chantana Chantrapornchai, Michael Haidl, Sergei Gorlatch:
Accelerating Keyword Search for Big RDF Web Data on Many-Core Systems. 190-202 - Jun Sasaki, Shizune Takahashi, Shuang Li, Issei Komatsu, Keizo Yamada, Masanori Takagi:
Finding Target Users Interested in Regional Areas Using Online Advertising and Social Network Services. 203-215 - Gajo Petrovic, Hamido Fujita
:
Semi-automatic Detection of Sentiment Hashtags in Social Networks. 216-224
Cloud Computing and the Semantic Web
- Yury A. Zagorulko
, Galina Zagorulko
:
Ontology-Based Technology for Development of Intelligent Scientific Internet Resources. 227-241 - Ruben Heradio
, Hector Perez-Morago, David Fernández-Amorós
, Francisco Javier Cabrerizo, Enrique Herrera-Viedma:
A Science Mapping Analysis of the Literature on Software Product Lines. 242-251 - Anna Maria Di Sciullo:
Asymmetry Theory and Asymmetry Based Parsing. 252-268 - Vladimir Dimitrieski, Milan Celikovic, Nemanja Igic, Heiko Kern, Fred Stefan:
Reuse of Rules in a Mapping-Based Integration Tool. 269-281
Artificial Intelligence Techniques and Intelligent System Design
- Teoh Chong Keat, Habibollah Haron, Antoni Wibowo, Mohd. Salihin Ngadiman:
An Arbitrary Heuristic Room Matching Algorithm in Obtaining an Enhanced Initial Seed for the University Course Timetabling Problem. 285-295 - M. Reza Mashinchi, Ali Selamat, Suhaimi Ibrahim:
Evaluating Extant Uranium: Linguistic Reasoning by Fuzzy Artificial Neural Networks. 296-307 - Zahra Nematzadeh, Roliana Ibrahim, Ali Selamat:
A Method for Class Noise Detection Based on K-means and SVM Algorithms. 308-318 - Raquel Ureña
, Francisco Javier Cabrerizo, Francisco Chiclana
, Enrique Herrera-Viedma:
GDM-VieweR: A New Tool in R to Visualize the Evolution of Fuzzy Consensus Processes. 319-332 - Guido Guizzi, Francesco Gargiulo, Liberatina Carmela Santillo
, Hamido Fujita
:
Swarm Intelligence in Evacuation Problems: A Review. 333-340 - Masaki Kurematsu, Jun Hakura, Hamido Fujita
:
A Framework for a Decision Tree Learning Algorithm with Rough Set Theory. 341-352
Software Development and Integration
- Takeshi Chusho, Jie Xu:
Description and Implementation of Business Logic for End-User-Initiative Development. 355-366 - Petr Sosnin
:
Combining of Kanban and Scrum Means with Programmable Queues in Designing of Software Intensive Systems. 367-377 - Luigi Coppolino
, Salvatore D'Antonio, Carmine Massei, Luigi Romano:
Efficient Supply Chain Management via Federation-Based Integration of Legacy ERP Systems. 378-387 - Volker Gruhn, Clemens Schäfer:
BizDevOps: Because DevOps is Not the End of the Story. 388-398 - Mirai Watanabe, Yutaka Watanobe, Alexander Vazhenin:
Modeling Tools for Social Coding. 399-410
Security and Software Methodologies for Reliable Software Design
- Nazri Kama, Saiful Adli Ismail
, Kamilia Kamardin, Norziha Megat Zainuddin, Azri Azmi, Wan Shafiuddin Zainuddin:
A Change Impact Analysis Tool: Integration Between Static and Dynamic Analysis Techniques. 413-424 - Abdelhakim Baouya
, Djamal Bennouar
, Otmane Aït Mohamed, Samir Ouchani
:
On the Probabilistic Verification of Time Constrained SysML State Machines. 425-441 - Saiful Adli Ismail
, Md. Asri Ngadi, Johan Mohamad Sharif, Nazri Kama, Othman Mohd Yusop
:
HMAC Authentication Mechanisms in a Grid Computing Environment Using Gridsim Toolkit. 442-452 - Caleb Shortt, Jens H. Weber:
Hermes: A Targeted Fuzz Testing Framework. 453-468 - Rim Idriss, Adlen Loukil, Mohamed Khalgui
:
New Middleware for Secured Reconfigurable Real-Time Systems. 469-483
New Software Techniques in Image Processing and Computer Graphics
- Hoshang Kolivand
, Mohd Shahrizal Sunar
, Ali Selamat:
Real-Time Light Shaft Generation for Indoor Rendering. 487-495 - Atoany Nazareth Fierro-Radilla
, Gustavo Calderon-Auza, Mariko Nakano-Miyatake
, Héctor Manuel Pérez Meana:
Motif Correlogram for Texture Image Retrieval. 496-505 - Daniel Toledo de los Santos, Mariko Nakano-Miyatake
, Karina Toscano-Medina, Gabriel Sanchez-Perez, Héctor Pérez-Meana:
Face Recognition Under Bad Illumination Conditions. 506-516 - Fabio Persia, Daniela D'Auria, Giancarlo Sperlì, A. Tufano:
A Prototype for Anomaly Detection in Video Surveillance Context. 517-528 - Andres Hernandez-Matamoros
, Andrea Bonarini
, Enrique Escamilla Hernández
, Mariko Nakano-Miyatake
, Héctor Pérez-Meana:
A Facial Expression Recognition with Automatic Segmentation of Face Regions. 529-540 - Hasan Alhajhamad
, Mohd Shahrizal Sunar
, Hoshang Kolivand
:
Automatic Estimation of Illumination Features for Indoor Photorealistic Rendering in Augmented Reality. 541-554 - Ilaria Bendato, Lucia Cassettari, Roberto Mosca, Fabio Rolando:
Improving the Efficiency of a Hospital ED According to Lean Management Principles Through System Dynamics and Discrete Event Simulation Combined with Quantitative Methods. 555-572
Software Applications Systems for Medical Health Care
- Mats Danielson, Love Ekenberg
, Kristina Sygel:
Robust Psychiatric Decision Support Using Surrogate Numbers. 575-585 - Amedeo Cesta
, Gabriella Cortellessa
, Riccardo De Benedictis
, Domenico M. Pisanelli:
Supporting Active and Healthy Ageing by Exploiting a Telepresence Robot and Personalized Delivery of Information. 586-597 - Mario Di Nardo
, Mosè Gallo, Marianna Madonna
, Liberatina Carmela Santillo
:
A Conceptual Model of Human Behaviour in Socio-technical Systems. 598-609 - Giuseppe Converso, Sara Di Giacomo, Teresa Murino, Teresa Rea
:
A System Dynamics Model for Bed Management Strategy in Health Care Units. 610-622 - Giuseppe Converso, Giovanni Improta
, Manuela Mignano, Liberatina Carmela Santillo
:
A Simulation Approach for Agile Production Logic Implementation in a Hospital Emergency Unit. 623-634
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.