![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
32nd SAC 2017: Marrakech, Morocco
- Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng:
Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. ACM 2017, ISBN 978-1-4503-4486-9
BIO - computational biology and bioinformatics track
- Jeongwoo Kim, Chunghun Kim, Jinyoung Lee, Sanghyun Park, Heechul Kang:
LIF: a method to infer disease-gene relationships using literature data and impact factor. 3-10 - Mahdi Belcaid, Guylaine Poisson:
A profile-based probabilistic approach for the detection of anomalies in the cytochrome C oxidase I amplicon sequences. 11-17 - Nilzair M. Barreto, Karina S. Machado
, Adriano Velasque Werhli
:
Inference of regulatory networks with MCMC sampler guided by mutual information. 18-23
BIO - computational biology and bioinformatics track: Poster papers
- Belma Yelbay, Alexander Gow
, Hasan M. Jamil
:
Ranking novel regulatory genes in gene expression profiles using NetExpress. 24-27 - Matteo Denitto, Alessandro Farinelli
, Manuele Bicego:
Biclustering of time series data using factor graphs. 28-30
BIO - computational biology and bioinformatics track: Competition paper
- Chitaranjan Mahapatra:
Computational study of inward rectifying ion channel in urinary bladder over activity: student research abstract. 31-32 - Vasu Jindal:
A deep learning framework for identification of microRNA regulatory modules: student research abstract. 33-36
CASM - collective adaptive system and middleware track
- Michael Rovatsos, Dimitrios I. Diochnos
, Zhenyu Wen, Sofia Ceppi, Pavlos Andreadis:
SmartOrch: an adaptive orchestration system for human-machine collectives. 37-44 - Martin Weißbach, Thomas Springer:
Coordinated execution of adaptation operations in distributed role-based software systems. 45-50 - Jovana Dedeic
, Jovanka Pantovic
, Jorge A. Pérez
:
Efficient compensation handling via subjective updates. 51-58 - Ricardo L. Paul, Raul Ceretta Nunes, Vanderlan D. Oliveira, Diogo Kunde:
Doctrine based multi-resolution HLA distributed simulation. 59-64
CASM - collective adaptive system and middleware track: Poster papers
- Euijong Lee, Young-Gab Kim
, Young-Duk Seo, Kwangsoo Seol, Doo-Kwon Baik:
Runtime verification method for self-adaptive software using reachability of transition system model. 65-68 - Alexander Marsalek, Thomas Zefferer
, Florian Reimair, Çagatay Karabat
, Elif Ustundag Soykan:
Leveraging the adoption of electronic identities and electronic-signature solutions in Europe. 69-71 - Davy Preuveneers, Bavo Goosens, Wouter Joosen:
Enhanced fraud detection as a service supporting merchant-specific runtime customization. 72-76
CIVIA - computational intelligence and video & image analysis track
- Juliana Patrícia Detroz, André Tavares da Silva:
Fraud detection in water meters using pattern recognition techniques. 77-82 - Lotfi Abdi, Aref Meddeb:
Semantic recognition: unified framework for joint object detection and semantic segmentation. 83-88 - Sajid Javed
, Thierry Bouwmans
, Soon Ki Jung
:
Improving OR-PCA via smoothed spatially-consistent low-rank modeling for background subtraction. 89-94 - Vitor da Silva, Ana Trindade Winck:
Video popularity prediction in data streams based on context-independent features. 95-100 - Hana Ouazzane, Hela Mahersia
, Kamel Hamrouni:
How to extend the use of the discrete orthogonal stockwell transform to image watermarking. 101-107 - Bassem Hadjkacem, Walid Ayedi, Mohamed Abid:
Multi-shot person re-identification using a novel video covariance approach. 108-113 - Jonatas Wehrmann
, Rodrigo C. Barros
:
Convolutions through time for multi-label movie genre classification. 114-119
CIVIA - computational intelligence and video & image analysis track: Poster papers
- Daniela Portes L. Ferreira, Bruno M. Rocha, Célia A. Z. Barcelos:
Nearest neighbor search on total bregman balls tree. 120-124
CoCo - cognitive computing track
- Luciano Serafini, Ivan Donadello
, Artur S. d'Avila Garcez:
Learning and reasoning in logic tensor networks: theory and application to semantic image interpretation. 125-130 - Lotfi Abdi, Aref Meddeb:
Deep learning traffic sign detection, recognition and augmentation. 131-136 - Mohamed Abouelenien, Verónica Pérez-Rosas, Bohan Zhao, Rada Mihalcea, Mihai Burzo:
Gender-based multimodal deception detection. 137-144 - Yaroslav Nechaev
, Francesco Corcoglioniti
, Claudio Giuliano:
Linking knowledge bases to social media profiles. 145-150
CoCo - cognitive computing track: Poster papers
- Shailesh S. Deshpande, Arcot Sowmya, Piyush Yadav, Shamsuddin Ladha, Priyanka Verma, Karthikeyan Vaiapury, Jay Gubbi, P. Balamuralidhar:
CogVis: attention-driven cognitive architecture for visual change detection. 151-154 - Pikakshi Manchanda, Elisabetta Fersini, Matteo Palmonari, Debora Nozza
, Enza Messina
:
Towards adaptation of named entity classification. 155-157
COMBI - advances in computational biomedical imaging track
- Daniela Portes L. Ferreira, Eraldo Ribeiro, Célia A. Z. Barcelos:
Variational non rigid registration with bregman divergences. 158-163 - Hind Oulhaj, Mohammed El Hassouni, Aouatif Amine, Mohammed Rziza
, Rachid Jennane
:
Fully anisotropic morlet transform for the study of the trabecular bone texture variations. 164-169
COMBI - advances in computational biomedical imaging track: Poster papers
- Vicenzo Abichequer Sangalli
, Felipe Lammel, Márcio Sarroglia Pinho
, Isabel Harb Manssour:
An automatic method for identification of cystine crystals in urine sediment. 170-173
HCI - smart human computer interfaces track
- Ricardo Andrade Cava, Carla Maria Dal Sasso Freitas, Marco Winckler:
ClusterVis: visualizing nodes attributes in multivariate graphs. 174-179 - Arif Ali Khan
, Jacky W. Keung
, Mahmood Niazi, Shahid Hussain:
Towards a hypothetical framework of humans related success factors for process improvement in global software development: systematic review. 180-186 - Claudio D. G. Linhares
, Bruno A. N. Travençolo
, Jose Gustavo de Souza Paiva, Luis E. C. Rocha
:
DyNetVis: a system for visualization of dynamic networks. 187-194 - Sajid Javed
, Thierry Bouwmans
, Soon Ki Jung
:
SBMI-LTD: stationary background model initialization based on low-rank tensor decomposition. 195-200 - Daniel da S. Souza, Marcos César da Rocha Seruffo
, Marianne K. Eliasquevici:
Recommendations to improve user experience in second screen applications: a case study. 201-207 - Sadia Din
, Awais Ahmad, Anand Paul
:
Human enabled green IoT in 5G networks. 208-213 - Leandro Soares Guedes
, Carla M. D. S. Freitas:
Exploring music rankings with interactive visualization. 214-219 - Kari Salo, Merja Bauters
, Tommi Mikkonen
:
User generated soundscapes activating museum visitors. 220-227
HCI - smart human computer interfaces track: Poster papers
- Lotfi Abdi, Aref Meddeb:
Driver information system: a combination of augmented reality and deep learning. 228-230
HCI - smart human computer interfaces track: Competition paper
- M. Mazhar Rathore:
Distributed smart street LED lights for human satisfaction in smart city: student research abstract. 231-234
IRMAS - intelligent robotics and multi-agent systems track
- João Rosa, Rui P. Rocha
:
Exportation to the cloud of distributed robotic tasks implemented in ROS. 235-240 - Hakim Mabed, Eugen Dedu, Haithem Skima:
Multicriteria optimization in distributed micro-conveying platform. 241-248 - Ameer Hamza, Nora Ayanian:
Forecasting battery state of charge for robot missions. 249-255 - Thadeu Tucci, Benoît Piranda, Julien Bourgeois:
Efficient scene encoding for programmable matter self-reconfiguration algorithms. 256-261 - Lorenzo Bottarelli
, Jason Blum, Manuele Bicego, Alessandro Farinelli
:
Path efficient level set estimation for mobile sensors. 262-267 - Alberto Viseras Ruiz, Valentina Karolj, Luis Merino
:
An asynchronous distributed constraint optimization approach to multi-robot path planning with complex constraints. 268-275 - Peter Lightbody, Tomás Krajník, Marc Hanheide
:
A versatile high-performance visual fiducial marker detection system with scalable identity encoding. 276-282 - Jannik Abbenseth
, Felipe Garcia Lopez, Christian Henkel
, Stefan Dörr:
Cloud-based cooperative navigation for mobile service robots in dynamic industrial environments. 283-288 - Cherie Ho, Kimberly Joly, Andrew P. Nosal, Christopher G. Lowe, Christopher M. Clark:
Predicting coordinated group movements of sharks with limited observations using AUVs. 289-296
IRMAS - intelligent robotics and multi-agent systems track: Poster papers
- Stefan Niemczyk, Nugroho Fredivianus, Kurt Geihs
:
On-the-fly transformation synthesis for information sharing in heterogeneous multi-agent systems. 297-299 - Átila Astor Weis, Adriano Velasque Werhli
, Nelson L. Duarte Filho:
Automated seam tracking system based on passive monocular vision for automated linear robotic welding process. 300-302
SWA - semantic web and applications track
- Mauro Dragoni, Andi Rexha, Hermann Ziak, Roman Kern
:
A semantic federated search engine for domain-specific document retrieval. 303-308 - HaeYong Shin, GeunJae Lee, Woo-Jong Ryu, SangKeun Lee:
Utilizing Wikipedia knowledge in open directory project-based text classification. 309-314 - Mauro Dragoni, Tania Bailoni
, Claudio Eccher, Marco Guerini
, Rosa Maimone:
A semantic-enabled platform for supporting healthy lifestyles. 315-322 - Juliana Medeiros Destro
, Júlio Cesar dos Reis, Ariadne Maria Brito Rizzoni Carvalho, Ivan Luiz Marques Ricarte
:
Influence of semantic similarity measures on ontology cross-language mappings. 323-329 - Azzurra Ragone
, Paolo Tomeo, Corrado Magarelli, Tommaso Di Noia, Matteo Palmonari, Andrea Maurino, Eugenio Di Sciascio:
Schema-summarization in linked-data-based feature selection for recommender systems. 330-335 - Okba Barkat, Selma Khouri, Ladjel Bellatreche, Boustia Narhimene:
Bridging context and data warehouses through ontologies. 336-341 - Paolo Cappellari, Soon Ae Chun, Dennis Shpitz:
Reasoning and discovering novel treatments in linked social health records. 342-348
SWA - semantic web and applications track: Poster papers
- Jesús Manuel Almendros-Jiménez
, Antonio Becerra-Terón
, Alfredo Cuzzocrea:
Syntactic and semantic validation of SPARQL queries. 349-352 - Stefano Borgo, Loris Bozzato
, Alessio Palmero Aprosio
, Marco Rospocher
, Luciano Serafini:
Towards integration of ontology and text-extracted data for event coreference reasoning. 353-355
SWA - semantic web and applications track: Competition paper
- Muntazir Mehdi:
Discovering and linking with life sciences linked open data cloud: student research abstract. 356-357
CC - cloud computing track
- Vlad Nitu, Boris Teabe, Leon Fopa, Alain Tchana, Daniel Hagimont:
StopGap: elastic VMs to enhance server consolidation. 358-363 - Luciano Barreto, Leomar Scheunemann, Joni da Silva Fraga, Frank Siqueira:
Secure storage of user credentials and attributes in federation of clouds. 364-369 - Faryed Eltayesh, Jamal Bentahar
:
Verifiable outsourced database in the cloud using game theory. 370-377 - Malayam Parambath Gilesh
, S. D. Madhu Kumar, Lillykutty Jacob:
HyViDE: a framework for virtual data center network embedding. 378-383 - Henrique Truta, José Luis Vivas, Andrey Brito, Telles Nobrega:
A predictive approach for enhancing resource utilization in PaaS clouds. 384-391 - Simon Dupont, Salma Bouri, Frederico Alvares de Oliveira Jr., Thomas Ledoux:
ElaScript: a DSL for coding elasticity in cloud computing. 392-398 - Haithem Mezni
, Jaber Kouki:
A multi-swarm based approach with cooperative learning strategy for composite SaaS placement. 399-404 - Kaiqi Xiong, Mufaddal Makati:
Assessing end-to-end performance and security in cloud computing. 405-410
CC - cloud computing track: Poster papers
- Ansar Rafique, Dimitri Van Landuyt
, Vincent Reniers, Wouter Joosen:
Towards scalable and dynamic data encryption for multi-tenant SaaS. 411-416
DADS - dependable, adaptive, and trustworthy distributed systems track
- Stefan Niemczyk, Stephan Opfer, Nugroho Fredivianus, Kurt Geihs
:
ICE: self-configuration of information processing in heterogeneous agent teams. 417-423 - Frank Pallas, David Bermbach, Steffen Müller, Stefan Tai:
Evidence-based security configurations for cloud datastores. 424-430 - Arshad Jhumka, Matthew Bradbury
:
Deconstructing source location privacy-aware routing protocols. 431-436 - Hugo A. López
, Kai Heussen
:
Choreographing cyber-physical distributed control systems for the energy sector. 437-443 - Thibaut Lajoie-Mazenc, Romaric Ludinard
, Emmanuelle Anceaume:
Handling bitcoin conflicts through a glimpse of structure. 444-449 - Richard Gil Martinez, Antónia Lopes
, Luís E. T. Rodrigues:
Automated generation of policies to support elastic scaling in cloud environments. 450-455 - Rogerio Pontes
, Mário Pinto, Manuel Barbosa
, Ricardo Vilaça
, Miguel Matos, Rui Oliveira
:
Performance trade-offs on a secure multi-party relational database. 456-461
DADS - dependable, adaptive, and trustworthy distributed systems track: Poster papers
- Francisco Neves
, Ricardo Vilaça
, José Pereira
, Rui Oliveira
:
Prepared scan: efficient retrieval of structured data from HBase. 462-464 - Klaus Echtle, Zoha Moztarzadeh:
Fault-tolerant clock synchronization in ring-networks. 465-468
IoT - internet of things track
- Christian Cabrera
, Andrei Palade, Siobhán Clarke
:
An evaluation of service discovery protocols in the internet of things. 469-476 - Daoyuan Li, Tegawendé F. Bissyandé, Jacques Klein
, Yves Le Traon
:
Sensing by proxy in buildings with agglomerative clustering of indoor temperature movements. 477-484 - Amir Taherkordi, Frank Eliassen, Geir Horn
:
From IoT big data to IoT big services. 485-491 - Michele Ruta
, Floriano Scioscia, Saverio Ieva, Giuseppe Loseto
, Filippo Gramegna
, Agnese Pinto:
Knowledge discovery and sharing in the IoT: the physical semantic web vision. 492-498 - Sayan Sen Sarma
, Koushik Sinha, Goutam Chakraborty, Bhabani P. Sinha:
Distributed algorithm for traffic dissemination in manhattan networks with optimal routing-time. 499-505
IoT - internet of things track: Poster papers
- Yair Meidan
, Michael Bohadana, Asaf Shabtai, Juan David Guarnizo, Martín Ochoa
, Nils Ole Tippenhauer
, Yuval Elovici:
ProfilIoT: a machine learning approach for IoT device identification based on network traffic analysis. 506-509 - Kiwook Kang, Kyoungmin Kim, Jinwoo Lee, Joonhyouk Jang, Jiman Hong:
Security software module update for heterogeneous VoT. 510-511
IoT - internet of things track: Competition paper
- Mohammed ElSaadany:
A novel IoT-based wireless system to monitor heart rate: student research abstract. 512-515
MCA - mobile computing and applications track
- Andreas Reiter:
Secure policy-based device-to-device offloading for mobile applications. 516-521 - Kristijan Lenac
, Alfredo Cuzzocrea, Enzo Mumolo:
An effective and efficient hybrid scan matching algorithm for mobile object applications. 522-528 - Mohamed Jacem Guezguez, Slim Rekhis
, Noureddine Boudriga:
Observation-based detection of femtocell attacks in wireless mobile networks. 529-534 - Jinghui Toh, Muhammad Hatib, Omer Porzecanski, Yuval Elovici:
Cyber security patrol: detecting fake and vulnerable wifi-enabled printers. 535-542 - Munir Makhmutov
, Joseph Alexander Brown
, Manuel Mazzara
, Leonard Johard:
MOMOS-MT: mobile monophonic system for music transcription: sheet music generation on mobile devices. 543-549 - Douglas Lautner, Xiayu Hua, Scott DeBates, Miao Song, Jagat Shah, Shangping Ren:
BaaS (Bluetooth-as-a-sensor): conception, design and implementation on mobile platforms. 550-556 - Sofia Ouhbi
, Ali Idri, Rachid Hakmi, Halima Benjelloun, José Luis Fernández Alemán, Ambrosio Toval:
Requirements for a mobile personal health record to improve cardiovascular healthcare services. 557-562 - Md. Shahrear Iqbal, Mohammad Zulkernine:
Flamingo: a framework for smartphone security context management. 563-568
MCA - mobile computing and applications track: Poster papers
- Eduardo Mosqueira-Rey, David Alonso-Ríos
, Diego Prado-Gesto, Vicente Moret-Bonillo:
Usability evaluation and development of heuristics for second-screen applications. 569-571 - Minh Le, Young-Woo Kwon:
Utilizing nearby computing resources for resource-limited mobile devices. 572-575
MCA - mobile computing and applications track: Competition paper
- Abhishek PC
:
Analysing the vulnerability exploitation in Android with the device-mapper-verity (dm-verity): student research abstract. 576-577
NET - networking track
- Marwan Radwan, Reiko Heckel:
Prediction of the domain name system (DNS) quality attributes. 578-585 - Rodrigo Coelho
, Gerhard Fohler
, Jean-Luc Scharbarg:
Upper bound computation for buffer backlog on AFDX networks with multiple priority virtual links. 586-593 - Vinícius Nunes Medeiros, Paulo César G. de Brito, Bruno Silvestre, Vinicius da C. M. Borges:
RALL: routing-aware of path length, link quality and traffic load for wireless sensor networks. 594-601 - Danilo Reis de Vasconcelos, F. L. R. Pimentel, Rossana M. de Castro Andrade
, José Neuman de Souza
:
Mathematical model for a collaborative indoor position system (IPS) and movement detection of devices within IoT environment. 602-608 - Chen Gu
, Matthew Bradbury
, Arshad Jhumka:
Phantom walkabouts in wireless sensor networks. 609-616
NET - networking track: Poster papers
- Bin Pang, Ru Li, Pengfei Yue:
Research of the interest packet popple broadcast diffusion attack in NDN VANET. 617-620
SAWCN - selected areas of wireless communications and networking track
- Lilatul Ferdouse
, Waleed Ejaz
, Alagan Anpalagan
, Asad Masood Khattak:
Joint workload scheduling and BBU allocation in cloud-RAN for 5G networks. 621-627 - Parag Kulkarni, Zhenzhe Zhong
, Fengming Cao:
Moving away from the crowd: channel selection in uncoordinated unplanned dense wireless LANs. 628-633 - Made Harta Dwijaksara, MinSik Hwang, Wha Sook Jeon, Dong Geun Jeong:
Design and implementation of a fast handoff scheme supporting vehicular mobility over IEEE 802.11 WLAN. 634-641 - Safdar Hussain Bouk, Syed Hassan Ahmed
, Dongkyun Kim:
NDN goes deep: foreseeing the underwater named data networks. 642-646
SAWCN - selected areas of wireless communications and networking track: Poster papers
- Antonio Rodrigo Delepiane de Vit, César A. M. Marcon
, Raul Ceretta Nunes:
Signal strength as support to mobility detection on failure detectors. 647-650 - Omar Sami Oubbati
, Abderrahmane Lakas
, Mesut Günes, Fen Zhou, Mohamed Bachir Yagoubi:
UAV-assisted reactive routing for urban VANETs. 651-653
WT - web technologies track
- Thomas Wever, Flavius Frasincar:
A linked open data schema-driven approach for Top-N recommendations. 656-663 - Andreas Reiter, Alexander Marsalek:
WebRTC: your privacy is at risk. 664-669 - Hanyang Cao, Yuxian Peng, Jing Jiang, Jean-Rémy Falleri
, Xavier Blanc:
Automatic identification of client-side JavaScript libraries in web applications. 670-677 - Patrick Munroe, Jonathan Milot
, Eric Beaudry, Naouel Moha, François Grondin:
A quadtree replication method to optimize web and mobile applications dealing with large sets of objects on a map. 678-685
WT - web technologies track: Poster papers
- Marwa Boulakbech, Nizar Messai, Yacine Sam, Thomas Devogele:
A smart MobiWeb mashup trip planner tool. 686-688 - Yong Zheng
:
Situation-aware multi-criteria recommender system: using criteria preferences as contexts. 689-692 - Robert Bronte, Hossain Shahriar
, Hisham M. Haddad:
Mitigating distributed denial of service attacks at the application layer. 693-696
WT - web technologies track: Competition paper
- Fagner Christian Paes:
Automatic detection of cross-browser incompatibilities using machine learning and screenshot similarity: student research abstract. 697-698 - Federica Rollo
:
A key-entity graph for clustering multichannel news: student research abstract. 699-700
BPMEA - business process management & enterprise architecture track
- Ekaterina Bazhenova, Mathias Weske:
Optimal acquisition of input data for decision taking in business processes. 703-710 - Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Thi Kim Tran, Erhard Weiss, Christoph Ruhsam:
Lightweight approach for seamless modeling of process flows in case management models. 711-718 - Christoph Czepa, Huy Tran, Uwe Zdun, Thanh Thi Kim Tran, Erhard Weiss, Christoph Ruhsam:
Reduction techniques for efficient behavioral model checking in adaptive case management. 719-726 - Carlo Combi, Barbara Oliboni, Francesca Zerbato
:
Modeling and handling duration constraints in BPMN 2.0. 727-734 - Mateus Barcellos Costa, Dalila Tamzalit:
Recommendation patterns for business process imperative modeling. 735-742 - Carlo Combi, Pietro Sala
, Francesca Zerbato
:
Driving time-dependent paths in clinical BPMN processes. 743-750 - Gianna Reggio, Maurizio Leotta
, Diego Clerissi, Filippo Ricca:
Service-oriented domain and business process modelling. 751-758 - Søren Debois
, Thomas T. Hildebrandt, Paw Høvsgaard Laursen, Kenneth Ry Ulrik:
Declarative process mining for DCR graphs. 759-764
DM - data mining track
- Francesco Folino, Massimo Guarascio
, Luigi Pontieri
:
A descriptive clustering approach to the analysis of quantitative business-process deviances. 765-770 - Evelina Di Corso, Tania Cerquitelli, Francesco Ventura:
Self-tuning techniques for large scale cluster analysis on textual data collections. 771-776 - Jorge M. B. Silva, Fernando M. A. Silva
:
Feature extraction for the author name disambiguation problem in a bibliographic database. 783-789 - Jonatas Wehrmann
, Rodrigo C. Barros
, Silvia N. das Dôres, Ricardo Cerri
:
Hierarchical multi-label classification with chained neural networks. 790-795 - Mohomed Shazan Mohomed Jabbar, Osmar R. Zaïane, Alvaro Osornio-Vargas:
Discovering spatial contrast and common sets with statistically significant co-location patterns. 796-803 - Irfan Ali, Jiwon Hong
, Sang-Wook Kim:
Exploiting implicit and explicit signed trust relationships for effective recommendations. 804-810 - Ali Azari, Vandana P. Janeja, Scott Levin:
MILES: multiclass imbalanced learning in ensembles through selective sampling. 811-816 - Lei Zheng, Jingyuan Zhang, Bokai Cao, Philip S. Yu, Ann B. Ragin:
A novel ensemble approach on regionalized neural networks for brain disorder prediction. 817-823
DM - data mining track: Poster papers
- Ahmed Halioui, Tomas Martin, Petko Valtchev
, Abdoulaye Baniré Diallo:
Ontology-based workflow pattern mining: application to bioinformatics expertise acquisition. 824-827
DM - data mining track: Competition paper
- Daniel López Sánchez:
Improving random projection with genetic algorithms: student research abstract. 828-829
DS - data streams track
- Jonathan Boidol, Andreas Hapfelmeier:
Fast mutual information computation for dependency-monitoring on data streams. 830-835 - João Duarte, João Gama
:
Feature ranking in hoeffding algorithms for regression. 836-841 - Yisroel Mirsky, Tal Halpern, Rishabh Upadhyay, Sivan Toledo, Yuval Elovici:
Enhanced situation space mining for data streams. 842-849 - Ross Callister, Mihai M. Lazarescu
, Duc-Son Pham
:
Graph-based clustering with DRepStream. 850-857 - Seyed Ali Bahrainian, Ida Mele
, Fabio Crestani
:
Modeling discrete dynamic topics. 858-865
DS - data streams track: Poster papers
- Marwan Hassani
, Daniel Töws, Thomas Seidl
:
Understanding the bigger picture: batch-free exploration of streaming sequential patterns with accurate prediction. 866-869 - Bruno Veloso
, Benedita Malheiro
, Juan-Carlos Burguillo, Jeremy D. Foss:
Personalised fading for stream data. 870-872
DTTA - database theory, technology and applications track
- Humberto Luiz Razente
, Rafael L. Bernardes Lima, Maria Camila Nardini Barioni
:
Similarity search through one-dimensional embeddings. 874-879 - Yongseok Son, Hara Kang, Heon Young Yeom, Hyuck Han:
A log-structured buffer for database systems using non-volatile memory. 880-886 - Ting-Ting Yang
, Hsueh-Wen Tseng
:
Numerical similarity-aware data partitioning for recommendations as a service. 887-892 - Christos Kalyvas
, Theodoros Tzouramanis, Yannis Manolopoulos:
Processing skyline queries in temporal databases. 893-899 - Paulo H. Oliveira
, Lucas C. Scabora, Caetano Traina Jr., Daniel S. Kaster
:
One index to dominate them all: domain indexes for improving queries across multiple tables. 900-905 - Yuri Almeida Lacerda
, Leandro Balby Marinho
, Cláudio de Souza Baptista, Chiara Renso, Raffaele Perego
:
Exploiting photo location and direction for clustering-based points-of-interest discovery. 907-912
DTTA - database theory, technology and applications track: Poster papers
- André S. Gonzaga, Robson L. F. Cordeiro:
The similarity-aware relational division database operator. 913-914 - Ramon Lawrence, Erik Brandsberg, Roland Lee:
Next generation JDBC database drivers for performance, transparent caching, load balancing, and scale-out. 915-918
IAR - information access and retrieval track
- Aldo Lipani
, Mihai Lupu, João R. M. Palotti, Guido Zuccon
, Allan Hanbury:
Fixed budget pooling strategies based on fusion methods. 919-924 - Ameni Kacem
, Mohand Boughanem
, Rim Faiz:
Emphasizing temporal-based user profile modeling in the context of session search. 925-930 - Atsushi Keyaki, Jun Miyazaki
:
Part-of-speech tagging for web search queries using a large-scale web corpus. 931-937 - Jean R. Ponciano
, Jose Gustavo de Souza Paiva, Denise Guliato:
ToPI: an approach to identify places of interest using geo-tagged images. 938-943 - Osman Ali Sadek Ibrahim
, Dario Landa-Silva
:
ES-Rank: evolution strategy learning to rank approach. 944-950 - Sehwa Park, Seog Park:
Decaying inverted quadtree: index structure for supporting spatio-temporal-keyword query processing of microblog data. 951-956
IAR - information access and retrieval track: Poster papers
- Markus Zlabinger, Allan Hanbury:
Finding duplicate images in biology papers. 957-959 - Mohammad Aliannejadi
, Ida Mele
, Fabio Crestani
:
Personalized ranking for context-aware venue suggestion. 960-962
IAR - information access and retrieval track: Competition paper
- Ladislav Marsik
:
Using chord distance descriptors to enhance music information retrieval: student research abstract. 963-964
KRR - knowledge representation and reasoning track
- Paolo Terenziani
, Antonella Andolina:
Probabilistic quantitative temporal reasoning. 965-970 - Luca Anselma
, Luca Piovesan
, Paolo Terenziani
:
Temporal reasoning techniques for the analysis of interactions in the treatment of comorbid patients. 971-976 - Costas D. Koutras
, Christos Moyzes, Christos Rantsoudis:
A reconstruction of default conditionals within epistemic logic. 977-982 - Franz Baader
, Oliver Fernandez Gil:
Decidability and complexity of threshold description logics induced by concept similarity measures. 983-988 - Mathieu Beirlaen, Jesse Heyninck
, Christian Straßer
:
Reasoning by cases in structured argumentation. 989-994 - Pierpaolo Dondio
:
Propagating degrees of truth on an argumentation framework: an abstract account of fuzzy argumentation. 995-1002 - Tadhg Fitzgerald, Barry O'Sullivan
:
Analysing the effect of candidate selection and instance ordering in a realtime algorithm configuration system. 1003-1008
SONAMA - social network and media analysis track
- Maxwell Guimarães de Oliveira, Cláudio de Souza Baptista, Cláudio E. C. Campelo, Michela Bertolotto
:
A gold-standard social media corpus for urban issues. 1011-1016 - Baptiste de La Robertie, Yoann Pitarch, Atsuhiro Takasu, Olivier Teste
:
Identifying authoritative researchers in digital libraries using external a priori knowledge. 1017-1022 - Tomu Tominaga, Yoshinori Hijikata:
Understanding how user activities are related to profile images on Twitter through regression analysis. 1023-1030 - Ricardo Araújo Rios, Paulo A. Pagliosa, Renato Porfirio Ishii, Rodrigo Fernandes de Mello
:
TSViz: a data stream architecture to online collect, analyze, and visualize tweets. 1031-1036 - Hasan M. Jamil
:
Using stratified privacy for personal reputation defense in online social networks. 1037-1044 - Prokopios Gryllos, Christos Makris
, Pantelis Vikatos:
Marketing campaign targeting using bridge extraction. 1045-1052 - Sarvenaz Choobdar, Pedro Manuel Pinto Ribeiro
, Fernando M. A. Silva
:
Evolutionary role mining in complex networks by ensemble clustering. 1053-1060 - Sergio Greco
, Cristian Molinaro, Chiara Pulice, Ximena Quintana:
Incremental maximum flow computation on evolving networks. 1061-1067 - Etienne Gael Tajeuna, Mohamed Bouguessa, Shengrui Wang:
Survival analysis for modeling critical events that communities may undergo in dynamic social networks. 1068-1075 - Hande Taslioglu, Pinar Karagoz
:
Irony detection on microposts with limited set of features. 1076-1081
SONAMA - social network and media analysis track: Poster papers
- Ricard L. Fogués, Jose M. Such, Agustín Espinosa Minguet
, Ana García-Fornes:
Exploring the viability of tie strength and tags in access controls for photo sharing. 1082-1085 - Sang-Hyun Park, Min-Suk Kang, So-Hye Yoon, Seog Park:
Identical user tracking with behavior pattern analysis in online community. 1086-1089
SONAMA - social network and media analysis track: Competition paper
- Fabíola Souza F. Pereira:
User preferences dynamics on evolving social networks - learning, modeling and prediction: student research abstract. 1090-1091
RE - requirement engineering track
- Corentin Burnay, Monique Snoeck:
Trust in requirements elicitation: how does it build, and why does it matter to requirements engineers? 1094-1100 - Nour Ali, Alfonso Martínez-Martínez, Lorena Ayuso-Pérez, Angelina Espinoza
:
Self-adaptive quality requirement elicitation process for legacy systems: a case study in healthcare. 1102-1107 - Mariana Maia Peixoto, Carla T. L. L. Silva:
A gamification requirements catalog for educational software: results from a systematic literature review and a survey with experts. 1108-1113 - Juliana Medeiros, Alexandre M. L. de Vasconcelos
, Miguel Goulão
, Carla T. L. L. Silva, João Araújo
:
An approach based on design practices to specify requirements in agile projects. 1114-1121 - Karina Abad
, Wilson Pérez, Juan Pablo Carvallo
, Xavier Franch:
i* in practice: identifying frequent problems in its application. 1122-1129 - Sara Sartoli, Akbar Siami Namin:
A semantic model for action-based adaptive security. 1130-1135
RE - requirement engineering track: Competition paper
- Ilham Maskani
:
A new comprehensive approach to security requirements engineering: student research abstract. 1136-1137
SATTA - software architecture: theory, technology, and applications track
- Tommaso Zoppi
, Andrea Ceccarelli
, Andrea Bondavalli
:
Exploring anomaly detection in systems of systems. 1139-1146 - Ramakrishnan Raman
, Meenakshi D'Souza:
Knowledge based decision framework for architecting complex systems. 1147-1153 - Seza Adjoyan, Abdelhak-Djamel Seriai
:
Reconfigurable service-based architecture based on variability description. 1154-1161 - Paolo Arcaini
, Catia Trubiani
:
Collaborative development of feature models and evaluation of performance bounds. 1162-1167 - Francesco Marconi, Marcello M. Bersani, Matteo Rossi:
Formal verification of storm topologies through D-VerT. 1168-1174
SATTA - software architecture: theory, technology, and applications track: Poster papers
- Luís Cruz-Filipe
, Fabrizio Montesi
:
Encoding asynchrony in choreographies. 1175-1177 - Jarkko Hyysalo, Gavin Harper, Jaakko J. Sauvola, Anja Keskinarkaus, Ilkka Juuso, Miikka Salminen, Juha Partala:
Defining an architecture for evolving environments. 1178-1181
SE - software engineering track
- Rubing Huang
, Yunan Zhou, Tsong Yueh Chen
, Dave Towey
, Jinfu Chen, Weiwen Zong:
Prioritizing random combinatorial test suites. 1183-1189 - Vasco Sousa, Eugene Syriani
, Martin Paquin:
Feedback on how MDE tools are used prior to academic collaboration. 1190-1197 - Moeka Tanabe, Kenji Tei, Yoshiaki Fukazawa, Shinichi Honiden:
Learning environment model at runtime for self-adaptive systems. 1198-1204 - Antti Virtanen, Kati Kuusinen
, Marko Leppänen, Antti Luoto
, Terhi Kilamo, Tommi Mikkonen
:
On continuous deployment maturity in customer projects. 1205-1212 - Alessio Gambi, Christoph Mayr-Dorn
, Andreas Zeller
:
Model-based testing of end-user collaboration intensive systems. 1213-1218 - Alysson Milanez
, Bianca Lima, José Ferreira, Tiago Massoni:
Nonconformance between programs and contracts: a study on C#/code contracts open source systems. 1219-1224 - Shipra Sharma, Balwinder Sodhi:
APR: architectural pattern recommender. 1225-1230 - Sofia Charalampidou, Apostolos Ampatzoglou, Paris Avgeriou
, Seren Sencer, Elvira-Maria Arvanitou, Ioannis Stamelos:
A theoretical model for capturing the impact of design patterns on quality: the decorator case study. 1231-1238 - David Jensen, Andreas Lundkvist, Imed Hammouda:
On the significance of relationship directions in clustering algorithms for reverse engineering. 1239-1244 - Paul Leger
, Hiroaki Fukuda:
Sync/CC: continuations and aspects to tame callback dependencies on JavaScript handlers. 1245-1250 - Mohamed Hosni
, Ali Idri:
Software effort estimation using classical analogy ensembles based on random subspace. 1251-1258 - Gabriel Campeanu, Mehrdad Saadatmand
:
Run-time component allocation in CPU-GPU embedded systems. 1259-1265 - Giuseppe Destefanis
, Marco Ortu
, Steve Counsell, Stephen Swift, Roberto Tonelli
, Michele Marchesi
:
On the randomness and seasonality of affective metrics for software development. 1266-1271 - Predrag Filipovikj, Guillermo Rodríguez-Navas, Mattias Nyberg, Cristina Seceleanu
:
SMT-based consistency analysis of industrial systems requirements. 1272-1279 - Geunseok Yang, Seungsuk Baek, Jung-Won Lee, Byungjeong Lee:
Analyzing emotion words to predict severity of software bugs: a case study of open source projects. 1280-1287 - Grace Park, Fadoua Fellir, Jang-Eui Hong, José Luis Garrido, Manuel Noguera
, Lawrence Chung:
Deriving use cases from business processes: a goal-oriented transformational approach. 1288-1295 - Italo Linhares de Araújo, Ismayle S. Santos, João Bosco Ferreira Filho, Rossana M. C. Andrade
, Pedro de A. Santos Neto:
Generating test cases and procedures from use cases in dynamic software product lines. 1296-1301
SE - software engineering track: Poster papers
- Ibtissam Abnane, Ali Idri, Alain Abran:
Empirical evaluation of fuzzy analogy for software development effort estimation. 1302-1304
SE - software engineering track: Competition paper
- Mohammad Imran Faisal:
Predicting the quality of contests on crowdsourcing-based software development platforms: student research abstract. 1305-1306 - Shahid Hussain:
A methodology to predict the instable classes: student research abstract. 1307-1308
SOAP - service-oriented architecture and programming track
- Peter Thiemann:
Interleaving sessions with predicates. 1312-1318 - Ahmed Abid, Nizar Messai, Mohsen Rouached, Mohamed Abid, Thomas Devogele:
Semantic similarity based web services composition framework. 1319-1325 - Giovanni Casu, G. Michele Pinna
:
Petri nets and dynamic causality for service-oriented computations. 1326-1333 - Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün:
Compatibility flooding: measuring interaction of services interfaces. 1334-1340
SVT - software verification and testing track
- Yunus Kiliç, Hasan Sözer:
Generating runtime verification specifications based on static code analysis alerts. 1342-1347 - Mohamed Amine, Benoît Delahaye
, Arnaud Lanoix:
Moving from Event-B to probabilistic Event-B. 1348-1355 - Davide Basile
, Felicita Di Giandomenico, Stefania Gnesi:
Statistical model checking of an energy-saving cyber-physical system in the railway domain. 1356-1363 - András Márki, Birgitta Lindström:
Mutation tools for Java. 1364-1415 - Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider:
Specification, design, and verification of an accountability-aware surveillance protocol. 1372-1378 - Yogi Joshi, Guy Martin Tchamgoue, Sebastian Fischmeister:
Runtime verification of LTL on lossy traces. 1379-1386 - Pedro Delgado-Pérez
, Inmaculada Medina-Bulo, Sergio Segura, Antonio García-Domínguez, Juan José Domínguez-Jiménez
:
GiGAn: evolutionary mutation testing for C++ object-oriented systems. 1387-1392 - Huu-Vu Nguyen, Tayssir Touili:
CARET model checking for pushdown systems. 1393-1400 - Rudolf Ramler, Thomas Wetzlmaier, Claus Klammer
:
An empirical study on the application of mutation testing for a safety-critical industrial software system. 1401-1408 - Jeongho Kim, Hohyeon Jeong, Eunseok Lee
:
Failure history data-based test case prioritization for effective regression test. 1409-1415
CPS - cyber-physical systems track
- Huan Li, Qinghua Yu, Krithi Ramamritham, Xiaotao Liu:
SmartSen: smart sensing for enhancing real-time activity recognition in phone-based interactive CPS. 1416-1423 - Shouyi Yin, Jinjin Duan, Peng Ouyang, Leibo Liu
, Shaojun Wei:
Multi-CNN and decision tree based driving behavior evaluation. 1424-1429 - Tianchen Wang, Kangli Hao, Chunchen Liu, Yiyu Shi:
Resource constrained real-time lane-vehicle detection for advanced driver assistance on mobile devices. 1430-1435 - Alexander Svae, Amir Taherkordi, Peter Herrmann
, Jan Olaf Blech
:
Self-adaptive control in cyber-physical systems: the autonomous train experiment. 1436-1443 - Carlton Shepherd, Raja Naeem Akram
, Konstantinos Markantonakis:
Towards trusted execution of multi-modal continuous authentication schemes. 1444-1451
CPS - cyber-physical systems track: Poster papers
- Davy Preuveneers, Wouter Joosen, Elisabeth Ilie Zudor
:
Identity management for cyber-physical production workflows and individualized manufacturing in industry 4.0. 1452-1455 - Róbinson Medina Sánchez, Sander Stuijk
, Dip Goswami, Twan Basten
:
Exploring the trade-off between processing resources and settling time in image-based control through LQR tuning. 1456-1459
EMBS - embedded systems track
- Tseng-Yi Chen
, Yuan-Hao Chang
, Yuan-Hung Kuan
, Ming-Chang Yang, Yu-Ming Chang, Pi-Cheng Hsiu
:
A pattern-aware write strategy to enhance the reliability of flash-memory storage systems. 1460-1466 - Jakaria Abdullah
, Morteza Mohaqeqi, Wang Yi:
Synthesis of ada code from graph-based task models. 1467-1472 - Cinzia Bernardeschi
, Marco Di Natale, Gianluca Dini, Dario Varano:
Modeling and generation of secure component communications in AUTOSAR. 1473-1480 - Mariem Makni, Mouna Baklouti, Smaïl Niar, Mohamed Abid:
Hardware resource estimation for heterogeneous FPGA-based SoCs. 1481-1487
EMBS - embedded systems track: Competition paper
- Moisés Urbina:
A time-triggered message-based multi-core architecture for AUTOSAR: student research abstract. 1488-1489
OOPS - object oriented programming languages and systems track
- Cláudio Vasconcelos, António Ravara
:
From object-oriented code with assertions to behavioural types. 1492-1497 - Bastian Kruck, Tobias Pape
, Tim Felgentreff, Robert Hirschfeld:
Crossing abstraction barriers when debugging in dynamic languages. 1498-1504 - Vincent von Hof, Konrad Fögen, Herbert Kuchen:
Detecting spring configurations errors. 1505-1512
OOPS - object oriented programming languages and systems track: Poster papers
- Paola Giannini
, Marco Servetto, Elena Zucca:
A type and effect system for sharing. 1513-1515
OS - operating systems track
- Dionisio Machado Leite Filho, Maycon L. M. Peixoto
, Bruno G. Batista, Bruno Tardiole Kuehne
, Carlos Henrique Gomes Ferreira:
The influence of resource allocation on cloud computing performance. 1516-1521 - Hong-Bin Tsai, Chin-Laung Lei:
A page replacement algorithm based on frequency derived from reference history. 1522-1527 - Juhyung Son, Sungmin Koo, Jongmoo Choi, Seong-je Cho, Seungjae Baek, Gwangil Jeon, Jun-Hyeok Park, Hyoung-Chun Kim:
Quantitative analysis of measurement overhead for integrity verification. 1528-1533 - Hankeun Son, Seongjin Lee
, Gyeongyeol Choi, Youjip Won:
Coarse-grained mtime update for better fsync() performance. 1534-1541 - Caio Augusto R. Dos Santos
, Rivalino Matias:
An empirical study on patterns of failure causes in a mass-market operating system. 1542-1547 - Marisol García-Valls
, Christian Calva-Urrego:
Improving service time with a multicore aware middleware. 1548-1553 - Vinícius Machado, Amanda Braga, Natália Rampon, Jean Luca Bez
, Francieli Zanon Boito, Rodrigo Kassick, Edson L. Padoin, Julien Diaz, Jean-François Méhaut, Philippe Olivier Alexandre Navaux:
Towards energy-efficient storage servers. 1554-1559
OS - operating systems track: Poster papers
- Seonil Kim, Jisup Yoon, Seoyeon Kim, Sun Sup So, Noh Sup Kwak, Young-Sun Yun, Jinman Jung, Seongbae Eun:
A dynamic duty cycle control mechanism based on mobility for animal tracking. 1560-1562 - Myungjoon Shon, Kisu Kim, Hansol Lee, Sung Y. Shin, Jiman Hong:
DACS: dynamic allocation credit scheduler for virtual machines. 1563-1565
PAPP - practical aspects of high-level parallel programming track
- Paolo Viviani
, Marco Aldinucci
, Massimo Torquati
, Roberto d'lppolito:
Multiple back-end support for the armadillo linear algebra interface. 1566-1573 - Ahmad Naser Eddin, Pedro Manuel Pinto Ribeiro
:
Scalable subgraph counting using MapReduce. 1574-1581 - Marco Danelutto
, Tiziano De Matteis
, Daniele De Sensi
, Gabriele Mencagli
, Massimo Torquati
:
P3ARSEC: towards parallel patterns benchmarking. 1582-1589
PAPP - practical aspects of high-level parallel programming track: Poster papers
- Mincheol Shin, Jeongwoo Kim, Jungrim Kim, Dongmin Seo, Chihyun Park, Seok Jong Yu, Sanghyun Park:
CATS: a big network clustering algorithm based on triangle structures. 1590-1592 - Fabian Wrede, Vincent von Hof:
Enabling efficient use of algorithmic skeletons in cloud environments: container-based virtualization for hybrid CPU-GPU execution of data-parallel skeletons. 1593-1596
PL - programming languages track
- Christoph Rieger
:
Business apps with MAML: a model-driven approach to process-oriented mobile app development. 1599-1606 - Ferhat Erata
, Moharram Challenger
, Bedir Tekinerdogan
, Anne Monceaux, Eray Tüzün
, Geylani Kardas
:
Tarski: a platform for automated analysis of dynamically configurable traceability semantics. 1607-1614 - Yossi Gil, Matteo Orrù:
Code Spartanization: one rational approach for resolving religious style wars. 1615-1622 - Pedro Pinto
, Tiago Carvalho
, João Bispo
, João M. P. Cardoso
:
LARA as a language-independent aspect-oriented programming approach. 1623-1630
PL - programming languages track: Poster papers
- David Insa, Sergio Pérez, Josep Silva
:
Computing super reduced program slices by composing slicing techniques. 1631-1633
RS - recommender systems: theory and applications track
- Dietmar Jannach, Iman Kamehkhosh, Lukas Lerche:
Leveraging multi-dimensional user models for personalized next-track music recommendation. 1635-1642 - Dietmar Jannach, Malte Ludewig:
Determining characteristics of successful recommendations from log data: a case study. 1643-1648 - Dietmar Jannach, Lukas Lerche:
Offline performance vs. subjective quality experience: a case study in video game recommendation. 1649-1654 - Tural Gurbanov, Francesco Ricci
:
Action prediction models for recommender systems based on collaborative filtering and sequence mining hybridization. 1655-1661 - Thiago Silveira, Leonardo Rocha
, Fernando Mourão, Marcos André Gonçalves
:
A framework for unexpectedness evaluation in recommendation. 1662-1667 - Fanjuan Shi, Chirine Ghedira
:
Improving recommender systems with an intention-based algorithm switching strategy. 1668-1673 - Amr Azzam, Neamat Tazi
, Ahmad Hany Hossny:
Text-based question routing for question answering communities via deep learning. 1674-1678 - Zhu Sun
, Guibing Guo, Jie Zhang:
Learning hierarchical category influence on both users and items for effective recommendation. 1679-1684 - Thuy Ngoc Nguyen
, Francesco Ricci
:
Dynamic elicitation of user preferences in a chat-based group recommender system. 1685-1692
RS - recommender systems: theory and applications track: Poster papers
- Bruce Ferwerda
, Mark P. Graus, Andreu Vall, Marko Tkalcic
, Markus Schedl:
How item discovery enabled by diversity leads to increased recommendation list attractiveness. 1693-1696 - Sondess Missaoui
, Marco Viviani
, Rim Faiz, Gabriella Pasi
:
A language modeling approach for the recommendation of tourism-related services. 1697-1700
SEC - computer security track
- Hao Shi, Jelena Mirkovic:
Hiding debuggers from malware with apate. 1703-1710 - Muhammad Ajmal Azad
, Samiran Bag:
Decentralized privacy-aware collaborative filtering of smart spammers in a telecommunication network. 1711-1717 - Davide Maiorca
, Francesco Mercaldo, Giorgio Giacinto
, Corrado Aaron Visaggio, Fabio Martinelli:
R-PackDroid: API package-based characterization and detection of mobile ransomware. 1718-1723 - Iakovos Gurulian, Raja Naeem Akram
, Konstantinos Markantonakis, Keith Mayes:
Preventing relay attacks in mobile transactions using infrared light. 1724-1731 - Leandro Ventura Silva, Rodolfo Marinho, José Luis Vivas, Andrey Brito:
Security and privacy preserving data aggregation in cloud computing. 1732-1738 - Onur Catakoglu, Marco Balduzzi, Davide Balzarotti:
Attacks landscape in the dark side of the web. 1739-1746 - Maqsood Ahmad, Valerio Costamagna, Bruno Crispo, Francesco Bergadano
:
TeICC: targeted execution of inter-component communications in Android. 1747-1752 - Steven Van Acker, Daniel Hausknecht, Andrei Sabelfeld:
Measuring login webpage security. 1753-1760
SEC - computer security track: Competition paper
- Gyoosik Kim:
On computing similarity of android executables using text mining: student research abstract. 1761-1762
SiSoS - software-intensive systems-of-systems track
- Lina Maria Garcés Rodriguez
, Elisa Yumi Nakagawa
:
A process to establish, model and validate missions of systems-of-systems in reference architectures. 1765-1772 - Marcelo Pitanga Alves, Flávia Coimbra Delicato, Paulo F. Pires:
IoTA-MD: a model-driven approach for applying QoS attributes in the development of the IoT systems. 1773-1780 - Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem:
Iterative multi-scale modeling of software-intensive systems of systems architectures. 1781-1786 - Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel:
A tool for modeling SoS architectures using bigraphs. 1787-1792 - Mariam Chaabane, Ismael Bouassida Rodriguez, Mohamed Jmaiel:
System of systems software architecture description using the ISO/IEC/IEEE 42010 standard. 1793-1798
SiSoS - software-intensive systems-of-systems track: Poster papers
- Bedir Tekinerdogan
, Ferhat Erata
:
Modeling traceability in system of systems. 1799-1802 - Avenir Kobetski, Jakob Axelsson:
Towards safe and secure systems of systems: challenges and opportunities. 1803-1806
SP - software platforms track
- Raul Sena Ferreira, Renan Prata, Carlos Eduardo Barbosa
, Jano Moreira de Souza, Vinicius Mororo, Kleyton Pontes Cotta
:
TransReport: collaborative supervision of the public transportation. 1808-1813 - Cássio V. S. Prazeres, Jurandir Barbosa, Leandro José Silva Andrade, Martin Serrano:
Design and implementation of a message-service oriented middleware for fog of things platforms. 1814-1819 - Abdelkader Ouared, Yassine Ouhammou, Ladjel Bellatreche:
MetricStore repository: on the leveraging of performance metrics in databases. 1820-1825
SP - software platforms track: Poster papers
- Donghwa Kang, Seoyeon Kim, Jinman Jung, Bongjae Kim
, Hong Min, Junyoung Heo
:
Genetic algorithm based patching scheme for worm containment on social network. 1826-1828
TRECK - trust, reputation, evidence and other collaboration know-how track
- Upul Jayasinghe
, Hyun-Woo Lee, Gyu Myoung Lee:
A computational model to evaluate honesty in social internet of things. 1830-1835 - Stefano Bistarelli
, Marco Mantilacci, Paolo Santancini, Francesco Santini
:
An end-to-end voting-system based on bitcoin. 1836-1841 - Hafsah Umar, Ognjen Arandjelovic:
Learning nuanced cross-disciplinary citation metric normalization using the hierarchical dirichlet process on big scholarly data. 1842-1847
TRECK - trust, reputation, evidence and other collaboration know-how track: Competition paper
- Nikolaos Alexopoulos:
On enhancing trust in cryptographic solutions: student research abstract. 1848-1849
![](https://dblp1.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.