default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th 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
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.
last updated on 2026-05-25 00:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
