default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID33rd SAC 2018: Pau, France
- Hisham M. Haddad, Roger L. Wainwright, Richard Chbeir
:
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018. ACM 2018
Artificial intelligence and agents: ACMCMPH - advanced computational methods in biomedical imaging and population health track
- Fabio Fassetti, Ilaria Fassetti:
Mining string patterns for individuating reading pathologies. 1-5 - Tommy Hielscher, Henry Völzke, Panagiotis Papapetrou, Myra Spiliopoulou:
Discovering, selecting and exploiting feature sequence records of study participants for the classification of epidemiological data on hepatic steatosis. 6-13 - Ana Luiza Menegatti Pavan, Marwa Benabdallah, Marie-Ange Lèbre, Diana Rodrigues de Pina, Faouzi Jaziri, Antoine Vacavant, Achraf Mtibaa, Hawa Mohamed Ali, Manuel Grand-Brochier, Hugo Rositi, Benoît Magnin, Armand Abergel, Pascal Chabrot:
A parallel framework for HCC detection in DCE-MRI sequences with wavelet-based description and SVM classification. 14-21 - Leila Cristina Carneiro Bergamasco, Carlos E. Rochitte, Fátima L. S. Nunes:
3D medical objects processing and retrieval using spherical harmonics: a case study with congestive heart failure MRI exams. 22-29
Artificial intelligence and agents: ACMCMPH - advanced computational methods in biomedical imaging and population health track: poster papers
- Hatem Bellaaj, Afef Mdhaffar, Mohamed Jmaiel, Sondes Hdiji Mseddi, Bernd Freisleben:
An adaptive neuro-fuzzy inference system for improving data quality in disease registries. 30-33 - Mauro Annarumma, Giovanni Montana:
Deep metric learning for multi-labelled radiographs. 34-37
Artificial intelligence and agents: BIO - bionformatics track
- Manu Madhavan, G. Gopakumar:
A tf-idf based topic model for identifying lncRNAs from genomic background. 40-46 - Salma Daoud, Afef Mdhaffar, Bernd Freisleben, Mohamed Jmaiel:
A multi-criteria decision making approach for predicting cancer cell sensitivity to drugs. 47-53 - Mattia Ricatto, Marco Barsacchi, Alessio Bechini:
Interpretable CNV-based tumour classification using fuzzy rule based classifiers. 54-59 - Pedro M. Martins, Vinícius D. Mayrink, Sabrina de Azevedo Silveira, Carlos Henrique da Silveira, Leonardo H. F. de Lima, Raquel Cardoso de Melo Minardi:
How to compute protein residue contacts more accurately? 60-67
Artificial intelligence and agents: BIO - bionformatics track: poster papers
- Wallison William Guimarães, Cristiano Lacerda Nunes Pinto, Cristiane Neri Nobre, Luis E. Zárate:
Evaluation of inductive and transductive inference in the context of translation initiation site. 68-71
Artificial intelligence and agents: BIO - bionformatics track: student research abstract
- Sampson E. Akwafuo:
Estimating the impacts of HIV intervention programs among females who sell sex in Nigeria: a modelling approach: student research abstract. 72-73 - Chitaranjan Mahapatra:
Simulation study of transient receptor potential current in urinary bladder over activity: student research abstract. 74-75
Information systems: BPMEA - business process management & enterprise architecture track
- Mujahid Sultan, Andriy V. Miranskyy:
Ordering stakeholder viewpoint concerns for holistic enterprise architecture: the W6H framework. 78-85 - Nour Assy, Boudewijn F. van Dongen, Wil M. P. van der Aalst:
Similarity resonance for improving process model matching accuracy. 86-93 - Vanessa Mendoza, Denis Silva da Silveira, Maria Luiza Albuquerque, João Araújo:
Verifying BPMN understandability with novice business managers. 94-101 - Diogo Proença, José Borbinha:
Using enterprise architecture model analysis and description logics for maturity assessment. 102-109 - Carlo Combi, Barbara Oliboni, Mathias Weske, Francesca Zerbato:
Conceptual modeling of inter-dependencies between processes and data. 110-119 - Mario Cortes Cornax, Ajay Krishna, Adrian Mos, Gwen Salaün:
Automated analysis of industrial workflow-based models. 120-127 - Davide Rossi, Francesco Poggi, Paolo Ciancarini:
Dynamic high-level requirements in self-adaptive systems. 128-137
Information systems: BPMEA - business process management & enterprise architecture track: poster papers
- Alessandro Tiso, Gianna Reggio, Maurizio Leotta, Filippo Ricca:
A method for developing model to text transformations. 138-141
Distributed systems: CC - cloud computing track
- Majid Makki, Dimitri Van Landuyt, Bert Lagaisse, Wouter Joosen, Nick Hofstede:
Transparent IO access control for application-level tenant isolation. 143-150 - Miguel E. Coimbra, Mennan Selimi, Alexandre P. Francisco, Felix Freitag, Luís Veiga:
Gelly-scheduling: distributed graph processing for service placement in community networks. 151-160 - Mohamed Mehdi Kandi, Shaoyi Yin, Abdelkader Hameurlain:
An integer linear-programming based resource allocation method for SQL-like queries in the cloud. 161-166 - Rathinaraja Jeyaraj, Ananthanarayana V. S.:
Multi-level per node combiner (MLPNC) to minimize mapreduce job latency on virtualized environment. 167-174 - Seyed Morteza Nabavinejad, Maziar Goudarzi:
Data locality and VM interference aware mitigation of data skew in hadoop leveraging modern portfolio theory. 175-182 - Jens Lindemann, Mathias Fischer:
A memory-deduplication side-channel attack to detect applications in co-resident virtual machines. 183-192 - Dileep Mardham, Sanjay Madria, James R. Milligan, Mark Linderman:
Cloud transactions adhere to strict policy consistency for improved performance. 193-200 - Malayam Parambath Gilesh, S. D. Madhu Kumar, Lillykutty Jacob:
Bounding the cost of virtual machine migrations for resource allocation in cloud data centers. 201-206
Distributed systems: CC - cloud computing track: poster papers
- Thouraya Gouasmi, Wajdi Louati, Ahmed Hadj Kacem:
Efficient distribution of mapreduce jobs for maximizing profit on federated cloud. 207-209 - Po-Chun Huang, Yuan-Hao Chang, Tseng-Yi Chen, Chia-Heng Tu, Chun Chen, Hsin-Wen Wei, Wei-Kuan Shih:
Performance optimization of heterogeneous cloud storage with bandwidth & capacity considerations. 210-213
Distributed systems: CC - cloud computing track: student research abstract
- Malayam Parambath Gilesh:
Curtailing the cost of virtual machine migrations in cloud data centers: student research abstract. 214-215
Distributed systems: CCS track
- Ivan Valkov, Natalia Chechina, Phil Trinder:
Comparing languages for engineering server software: erlang, go, and scala with akka. 218-225 - Markus Wutzler, Thomas Springer, Alexander Schill:
Coordinated composition of continuous service collaborations in decentralized smart computing environments. 226-233 - Akiko Teranishi, Minoru Nakayama, Theodor Wyeld, Mohamad A. Eid:
Online team-based game development discussions patterns summarised using probabilistic models. 234-239 - Li Liu, Adam Kaplan:
No longer alone: finding common ground in collaborative virtual environments. 240-246
Distributed systems: CCS track: poster papers
- Chinnapong Angsuchotmetee, Richard Chbeir, Yudith Cardinale, Shohei Yokoyama:
A pipelining-based framework for processing events in multimedia sensor networks. 247-250
Artificial intelligence and agents: CIVIA - computational intelligence and video & image analysis track
- Filipe Tório L. R. Nhimi, Zenilton K. G. Patrocínio Jr., Benjamin Perret, Jean Cousty, Silvio Jamil Ferzoli Guimarães:
Evaluation of morphological hierarchies for supervised video segmentation. 252-259 - Thainan B. Remboski, William D. de Souza, Marilton S. de Aguiar, Paulo R. Ferreira Jr.:
Identification of fruit fly in intelligent traps using techniques of digital image processing and machine learning. 260-267 - Eduardo A. Speroni, Simone Regina Ceolin, Osmar Marchi dos Santos, Andrei Piccinini Legg:
A low cost VSLAM prototype using webcams and a smartphone for outdoor application. 268-275 - Rafael Lima Rocha, Ana Carolina Quintao Siravenha, Ana Cláudia S. Gomes, Gerson Lima Serejo, Alexandre Francisco Barral Silva, Luciano M. Rodrigues, Júlio Braga, Giovanni Dias, Schubert R. Carvalho, Cleidson R. B. de Souza:
A deep-learning-based approach for automated wagon component inspection. 276-283 - Iuri R. Souza, Maurício Cunha Escarpinati, Daniel D. Abdala:
A curve completion algorithm for agricultural planning. 284-291 - Luciane B. Soares, Átila Astor Weis, Bruna de Vargas Guterres, Ricardo Nagel Rodrigues, Silvia Silva da Costa Botelho:
Computer vision system for weld bead geometric analysis. 292-299 - Willian Tessaro Lunardi, Holger Voos:
Comparative study of genetic and discrete firefly algorithm for combinatorial optimization. 300-308
Artificial intelligence and agents: CIVIA - computational intelligence and video & image analysis track: poster papers
- Daniel Y. T. Chino, Lucas C. Scabora, Caetano Traina Jr., Agma J. M. Traina:
BoSS: image retrieval using bag-of-superpixels signatures. 309-312
Artificial intelligence and agents: CoCo - cognitive computing track
- Sophie de Kok, Linda Punt, Rosita van den Puttelaar, Karoliina Ranta, Kim Schouten, Flavius Frasincar:
Review-level aspect-based sentiment analysis using an ontology. 315-322 - Mariano Rico, Nandana Mihindukulasooriya, Dimitris Kontokostas, Heiko Paulheim, Sebastian Hellmann, Asunción Gómez-Pérez:
Predicting incorrect mappings: a data-driven approach applied to DBpedia. 323-330 - Nicolas Bougie, Ryutaro Ichise:
Deep reinforcement learning boosted by external knowledge. 331-338 - Prantik Howlader, Kuntal Kumar Pal, Alfredo Cuzzocrea, S. D. Madhu Kumar:
Predicting facebook-users' personality based on status and linguistic features via flexible regression analysis techniques. 339-345
Artificial intelligence and agents: CoCo - cognitive computing track: poster papers
- Eric Fernandes de Mello Araújo, Bojan Simoski, Michel C. A. Klein:
Applying machine learning algorithms for deriving personality traits in social network. 346-349
System software and security: CPS - cyber-physical systems track
- Chin-Chiang Pan, Chien-Chung Ho, Yuan-Hao Chang, Tei-Wei Kuo, Yu-Ming Chang, Ming-Chang Yang:
Boosting the performance with a data-backup-free programming scheme for TLC-based SSDs. 351-358 - Mohammad Hamad, Zain Alabedin Haj Hammadeh, Selma Saidi, Vassilis Prevelakis, Rolf Ernst:
Prediction of abnormal temporal behavior in real-time systems. 359-367 - Himanshu Neema, Bradley Potteiger, Xenofon D. Koutsoukos, Gabor Karsai, Péter Völgyesi, Janos Sztipanovits:
Integrated simulation testbed for security and resilience of CPS. 368-374 - Yuanhui Ni, Keni Qiu, Weiwen Chen, Lixue Xia, Yu Wang:
Low power driven loop tiling for RRAM crossbar-based CNN. 375-380
Distributed systems: DADS - dependable, adaptive, and secure distributed systems track
- Sotirios Liaskos, Bo Wang:
Towards a model for comprehending and reasoning about PoW-based blockchain network sustainability. 383-387 - Sana Belguith, Shujie Cui, Muhammad Rizwan Asghar, Giovanni Russello:
Secure publish and subscribe systems with efficient revocation. 388-394 - Matthias Prellwitz, Helge Parzyjegla, Steffen Steiner, Gero Mühl:
Adaptive information distribution for dynamic sets. 395-402 - Rodrigo Fernandes, José Simão, Luís Veiga:
EcoVMbroker: energy-aware scheduling for multi-layer datacenters. 403-410 - Carlos Carvalho, Daniel Porto, Luís E. T. Rodrigues, Manuel Bravo, Alysson Bessani:
Dynamic adaptation of byzantine consensus protocols. 411-418
Distributed systems: DADS - dependable, adaptive, and secure distributed systems track: poster papers
- Lili Xiao, Shuangqing Xiang, Huibiao Zhu:
Modeling and verifying SDN with multiple controllers. 419-422 - Ali Jafari, Jayasoorya Jayanthi Surendran Nair, Stephan Baumgart, Marjan Sirjani:
Safe and efficient fleet operation for autonomous machines: an actor-based approach. 423-426 - Mahin Abbasipour, Ferhat Khendek, Maria Toeroe:
Trigger correlation for dynamic system reconfiguration. 427-430
Distributed systems: DADS - dependable, adaptive, and secure distributed systems track: student research abstract
- Marius Stübs:
IT-security in self-organizing decentralized virtual power plants: student research abstract. 431-432
Information systems: DM - data mining track
- Tayeb Kenaza, Khadidja Bennaceur, Abdenour Labed:
An efficient hybrid SVDD/clustering approach for anomaly-based intrusion detection. 435-443 - Jiazhen Chen, Gillian Dobbie, Yun Sing Koh, Elizabeth Somervell, Gustavo Olivares:
Vehicle emission prediction using remote sensing data and machine learning techniques. 444-451 - Dirk Reinel, Jörg Scheidt, Andreas Henrich, Niko Brucker:
Sentiment phrase generation using statistical methods. 452-460 - Nikolas A. Huhnstock, Alexander Karlsson, Maria Riveiro, H. Joe Steinhauer:
On the behavior of the infinite restricted boltzmann machine for clustering. 461-470 - Sergio Peignier, Christophe Rigotti, Anthony Rossi, Guillaume Beslon:
Weight-based search to find clusters around medians in subspaces. 471-480 - Junho Song, Sungchae Lim, Sang-Wook Kim:
A novel join technique for similar-trend searches supporting normalization on time-series databases. 481-486 - Xiaoyu Wang, Osamu Hasegawa, Shiming Ge:
Error analysis and topology modifications of a self-organizing incremental neural network. 487-494
Information systems: DM - data mining track: poster papers
- Bernat Coma-Puig, Josep Carmona:
A quality control method for fraud detection on utility customers without an active contract. 495-498
Information systems: DM - data mining track: student research abstract
- Riccardo Cappuzzo:
On improving ROCK-based clustering for categorical data: student research abstract. 499-500
Information systems: DS - data streams track
- Mehdi Zitouni, Reza Akbarinia, Sadok Ben Yahia, Florent Masseglia:
Maximally informative k-itemset mining from massively distributed data streams. 502-509 - Lanqin Yuan, Bernhard Pfahringer, Jean Paul Barddal:
Iterative subset selection for feature drifting data streams. 510-517 - Denis Moreira dos Reis, André Gustavo Maletzke, Gustavo E. A. P. A. Batista:
Unsupervised context switch for classification tasks on data streams with recurrent concepts. 518-524
Information systems: DS - data streams track: poster papers
- Christian Beyer, Uli Niemann, Vishnu Unnikrishnan, Eirini Ntoutsi, Myra Spiliopoulou:
Predicting polarities of entity-centered documents without reading their contents. 525-528 - Ricardo Teixeira Sousa, João Gama:
Co-training study for online regression. 529-531
Information systems: DTTA - database theory, technology, and applications track
- Christoph Stach, Bernhard Mitschang:
Curator - a secure shared object store: design, implementation, and evaluation of a manageable, secure, and performant data exchange mechanism for smart devices. 533-540 - R. A. S. N. Soransso, Maria Cláudia Cavalcanti:
Data modeling for analytical queries on document-oriented DBMS. 541-548 - Jéssica Andressa de Souza, Agma J. M. Traina, Sebastian Michel:
Class-constraint similarity queries. 549-556 - Thiago Pereira da Nóbrega, Carlos Eduardo S. Pires, Tiago Brasileiro Araújo, Demetrio Gomes Mestre:
Blind attribute pairing for privacy-preserving record linkage. 557-564
Information systems: DTTA - database theory, technology, and applications track: student research abstract
- Graziele Marques Mazuco dos Santos:
A clustering-based sales forecast for fashion retailing: student research abstract. 565-566
System software and security: EMBS - embedded systems track
- Hashan R. Mendis, Wei-Ming Chen, Leandro Soares Indrusiak, Tei-Wei Kuo, Pi-Cheng Hsiu:
Impact of memory frequency scaling on user-centric smartphone workloads. 567-574 - Youcheng Sun, Marco Di Natale:
Assessing the pessimism of current multicore global fixed-priority schedulability analysis. 575-583 - Xing Pan, Frank Mueller:
Controller-aware memory coloring for multicore real-time systems. 584-592 - Pedro Benedicte, Carles Hernández, Jaume Abella, Francisco J. Cazorla:
RPR: a random replacement policy with limited pathological replacements. 593-600 - Claudio Scordino, Luca Abeni, Juri Lelli:
Energy-aware real-time scheduling in the linux kernel. 601-608 - Pierre-Emmanuel Hladik:
A brute-force schedulability analysis for formal model under logical execution time assumption. 609-615
System software and security: EMBS - embedded systems track: poster papers
- Tse-Yuan Wang, Che-Wei Tsao, Yuan-Hao Chang, Tei-Wei Kuo, Hsiang-Pang Li:
A partnership-based approach to minimize the maximal response time of flash-memory storage systems. 616-619
System software and security: HCI - smart human computer interaction track
- Zihan Ding, Jiayi Luo, Hongping Deng:
Accelerated exhaustive eye glints localization method for infrared video oculography. 620-627 - Sathish Kumar Ravichandran, Rani C, Pugalendhi GaneshKumar:
IoT based monitoring of container vehicle for secure and reliable delivery of goods. 628-633 - Imran Ahmed, Qazi Nida ur Rehman, Ghulam Masood, Awais Adnan, Awais Ahmad, Seungmin Rho:
Segmentation of affected skin lesion with blind deconvolution and L*a*b colour space. 634-639 - Rodrigo Santos Do Amor Divino Lima, Carlos Gustavo Resque dos Santos, Sandro De Paula Mendonça, Jefferson Magalhães de Morais, Bianchi Serique Meiguins:
Understanding data dimensions by cluster visualization using edge bundling in parallel coordinates. 640-647 - Eduardo Mosqueira-Rey, David Alonso-Ríos, Vicente Moret-Bonillo:
A heuristic evaluation of the user and programming interfaces of a sleep medicine application. 648-655 - Chaudhry Muhammad Nadeem Faisal, Javier de Andrés Suárez, Martín González-Rodríguez, Daniel Fernández Lanvin, Mudassar Ahmad, Muhammad Asif Habib:
Impact of web design features on irritation for E-commerce websites. 656-663 - Sohail Jabbar, Muhammad Farhan, Jin Li, Haseeb Ahmad, Awais Ahmad:
IoT based smart interaction framework for elearning. 664-669
System software and security: HCI - smart human computer interaction track: poster papers
- Murilo Crivellari Camargo, Rodolfo M. Barros, Vanessa Tavares de Oliveira Barros:
Visual design checklist for graphical user interface (GUI) evaluation. 670-672
System software and security: HCI - smart human computer interaction track: student research abstract
- Sadia Din:
Human behavior analysis based on big data analytics in cyber-physical system: student research abstract. 673-674
Information systems: IAR - information access and retrieval track
- Daniel Valcarce, Javier Parapar, Álvaro Barreiro:
LiMe: linear methods for pseudo-relevance feedback. 678-687 - Aurélien Moreau, Olivier Pivert, Grégory Smits:
Fuzzy query by example. 688-695 - Arthur F. Da Costa, Marcelo G. Manzato, Ricardo J. G. B. Campello:
CoRec: a co-training approach for recommender systems. 696-703 - Abdelhamid Chellal, Mohand Boughanem:
Optimization framework model for retrospective tweet summarization. 704-711 - Rodrigo Garcia, Rinaldo Lima, Bernard Espinasse, Hilário Oliveira:
Towards coherent single-document summarization: an integer linear programming-based approach. 712-719 - Günter Urak, Hermann Ziak, Roman Kern:
Source selection of long tail sources for federated search in an uncooperative setting. 720-727
Information systems: IAR - information access and retrieval track: poster papers
- Josiane Mothe, Faneva Ramiandrisoa, Michael Rasolomanana:
Automatic keyphrase extraction using graph-based methods. 728-730
Distributed systems: IoT - internet of things track
- Smruti R. Sarangi, Sakshi Goel, Bhumika Singh:
Energy efficient scheduling in IoT networks. 733-740 - Shachar Siboni, Asaf Shabtai, Yuval Elovici:
Leaking data from enterprise networks using a compromised smartwatch device. 741-750 - Ye Xia, Xavier Etchevers, Loïc Letondeur, Thierry Coupaye, Frédéric Desprez:
Combining hardware nodes and software components ordering-based heuristics for optimizing the placement of distributed IoT applications in the fog. 751-760 - Renato Dilli, Amanda Argou, Maurício L. Pilla, Ana Marilza Pernas, Renata Reiser, Adenauer C. Yamin:
Fuzzy logic and MCDA in IoT resources classification. 761-766 - Mohammed Islam Naas, Laurent Lemarchand, Jalil Boukhobza, Philippe Raipin Parvédy:
A graph partitioning-based heuristic for runtime IoT data placement strategies in a fog infrastructure. 767-774 - Clémentine Gritti, Refik Molva, Melek Önen:
Lightweight secure bootstrap and message attestation in the internet of things. 775-782 - Arthur Gatouillat, Youakim Badr, Bertrand Massot:
Hybrid controller synthesis for the IoT. 783-790 - Phelipe Dias Feio, José Neto, Vagner de Brito Nascimento, Antônio Abelém:
FI-MApp: a web application for managing FI-WARE environments in internet of things. 791-799
Distributed systems: IoT - internet of things track: poster papers
- Neska El Haouij, Jean-Michel Poggi, Sylvie Sevestre-Ghalila, Raja Ghozi, Mériem Jaïdane:
AffectiveROAD system and database to assess driver's attention. 800-803
Distributed systems: IoT - internet of things track: student research abstract
- Alexandre Tessier:
A novel low power brain electrical activity monitor using IoT: student research abstract. 804-805
Artificial intelligence & agents: IRMAS - intelligent robotics and multi-agent systems track
- Ajay Kattepur, Hemant Kumar Rath, Anantha Simha, Arijit Mukherjee:
Distributed optimization in multi-agent robotics for industry 4.0 warehouses. 808-815 - Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka:
Declarative vs rule-based control for flocking dynamics. 816-823 - Jane Holland, Josephine Griffith, Colm O'Riordan:
Evolving collective behaviours in simulated kilobots. 824-831 - Joanna Turner, Qinggang Meng, Gerald Schaefer, Andrea Soltoggio:
Fast consensus for fully distributed multi-agent task allocation. 832-839
Artificial intelligence & agents: IRMAS - intelligent robotics and multi-agent systems track: poster papers
- Alberto Castellini, Giovanni Alberto Beltrame, Manuele Bicego, Jason Blum, Matteo Denitto, Alessandro Farinelli:
Unsupervised activity recognition for autonomous water drones. 840-842 - Eduardo Ferrera, Jesús Capitán, Merlin Stampa, Pedro José Marrón:
MiMicS: a multi-robot simulator for teaching, rapid prototyping and large scale evaluations. 843-846
Artificial intelligence & agents: IRMAS - intelligent robotics and multi-agent systems track: student research abstract
- Parikshit Maini:
Cooperative routing with refueling for aerial and ground vehicles for large scale surveillance: student research abstract. 847-848
Artificial intelligence and agents: KEGeoD - knowledge extraction from geographical data track
- Carlos Andres Ferrero, Luis Otávio Alvares, Willian Zalewski, Vania Bogorny:
MOVELETS: exploring relevant subtrajectories for robust trajectory classification. 849-856 - Mark Kibanov, Martin Becker, Juergen Mueller, Martin Atzmueller, Andreas Hotho, Gerd Stumme:
Adaptive kNN using expected accuracy for classification of geo-spatial data. 857-865 - Camille Bernard, Marlène Villanova-Oliver, Jérôme Gensel, Hy Dao:
Modeling changes in territorial partitions overtime: ontologies TSN and TSN-change. 866-875 - Bertrand Duménieu, Nathalie Abadie, Julien Perret:
Assessing the planimetric accuracy of Paris atlases from the late 18th and 19th centuries. 876-883
Artificial intelligence and agents: KEGeoD - knowledge extraction from geographical data track: student research abstract
- Faris Hawamdeh:
Quantifying walkability of roads using digital elevation models: student research abstract. 884-885
Artificial intelligence and agents: KRR - knowledge representation and reasoning track
- Melisachew Wudage Chekol, Heiner Stuckenschmidt:
Tractable reasoning in probabilistic OWL profiles. 888-895 - Alessandro Previti, Matti Järvisalo:
A preference-based approach to backbone computation with application to argumentation. 896-902 - João F. L. Alcântara, Samy Sá:
An infinite-valued grounded labelling for abstract argumentation frameworks. 903-910 - Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo I. Simari, Guillermo Ricardo Simari:
Incremental computation of warranted arguments in dynamic defeasible argumentation: the rule addition case. 911-917 - Maria M. Hedblom, Dagmar Gromann, Oliver Kutz:
In, out and through: formalising some dynamic aspects of the image schema containment. 918-925
Artificial intelligence and agents: KRR - knowledge representation and reasoning track: student research abstract
- Vinicius dos Santos:
Concept maps construction using natural language processing to support studies selection. 926-927
Distributed systems: MCA - mobile computing and applications track
- Yasser F. O. Mohammad, Kazunori Matsumoto, Keiichiro Hoashi:
Deep feature learning and selection for activity recognition. 930-939 - Jorge Bernad, Carlos Bobed, Eduardo Mena:
Estimating local coverage areas for location dependent queries. 940-947 - Agnese Chiatti, Mu Jung Cho, Anupriya Gagneja, Xiao Yang, Miriam Brinberg, Katie Roehrick, Sagnik Ray Choudhury, Nilam Ram, Byron Reeves, C. Lee Giles:
Text extraction and retrieval from smartphone screenshots: building a repository for life in media. 948-955 - Bruno Brandoli Machado, Gabriel Spadon, Mauro S. Arruda, Wesley Nunes Gonçalves, André C. P. L. F. de Carvalho, José F. Rodrigues Jr.:
A smartphone application to measure the quality of pest control spraying machines via image analysis. 956-963
Distributed systems: MCA - mobile computing and applications track: poster papers
- Taeho Hwang, Myungsik Kim, Seongjin Lee, Youjip Won:
On the I/O characteristics of the mobile web browsers. 964-966 - Wender Zacarias Xavier, Mateus P. Silveira, Josemar Alves Caetano, Humberto Torres Marques-Neto:
MaE!: a service for supporting people meeting at events. 967-969
Distributed systems: NET - networking track
- Guillermo Julián-Moreno, Rafael Leira, Jorge E. López de Vergara, Francisco J. Gomez-Arribas, Iván González:
On the feasibility of 40 gbps network data capture and retention with general purpose hardware. 970-978 - Steffen Haas, Mathias Fischer:
GAC: graph-based alert correlation for the detection of distributed multi-step attacks. 979-988 - Chao Zheng, Qiuwen Lu, Jia Li, Qinyun Liu, Binxing Fang:
A flexible and efficient container-based NFV platform for middlebox networking. 989-995 - Michael Stein, Alexander Frömmgen, Roland Kluge, Lin Wang, Augustin Wilberg, Boris Koldehofe, Max Mühlhäuser:
Scaling topology pattern matching: a distributed approach. 996-1005 - John Robert Mendoza, Roel Ocampo, Isabel Montes, Cedric Angelo M. Festin:
Efficient feature extraction for internet data analysis using AS2Vec. 1006-1013
Distributed systems: NET - networking track: poster papers
- Pedro Montibeler, Fernando N. N. Farias, Antônio Abelém:
Topology resilience enhancement for software defined networks. 1014-1016 - Seferin Mirtchev, Rossitza Goleva, Dimitar Atamian, Ivan Ganchev:
Investigation of priority queue with peaked traffic flows. 1017-1019
Software design and development: OOPPS - object oriented and parallel programming and systems track
- Elias Castegren, Tobias Wrigstad:
OOlong: an extensible concurrent object calculus. 1022-1029 - Pablo Tesone, Guillermo Polito, Luc Fabresse, Noury Bouraqadi, Stéphane Ducasse:
Implementing modular class-based reuse mechanisms on top of a single inheritance VM. 1030-1037 - Paola Giannini, Marco Servetto, Elena Zucca:
A type and effect system for uniqueness and immutability. 1038-1045 - Frédéric Dabrowski:
Textual alignment in SPMD programs. 1046-1053 - François Fouquet, Thomas Hartmann, Sébastien Mosser, Maxime Cordy:
Enabling lock-free concurrent workers over temporal graphs composed of multiple time-series. 1054-1061
Software design and development: OOPPS - object oriented and parallel programming and systems track: poster papers
- Vincent von Hof, Andreas Fuchs:
Automatic scalable parallel test case execution. introducing the münster distributed test case runner for Java (miDSTR). 1062-1064 - Chidchanok Choksuchat, Sergei Gorlatch, Chantana Chantrapornchai:
CBM: a compact representation and its parallel search for query processing on GPU. 1065-1067
Software design and development: OOPPS - object oriented and parallel programming and systems track: student research abstract
- Yonghyun Ryu:
Node-level optimization by caching data and choosing the optimal tile size for parallel dense linear algebra on distributed systems: student research abstract. 1068-1069
System software and security: OS - operating systems track
- Jinsoo Yoo, Yongjun Park, Seongjin Lee, Youjip Won:
Automatic code conversion for non-volatile memory. 1071-1076 - Hyunmin Yoon, Shakaiba Majeed, Minsoo Ryu:
Exploring OS-based full-system deterministic replay. 1077-1086 - Constantin-Cosmin Crecana, Florin Pop:
Monitoring-based auto-scalability across hybrid clouds. 1087-1094 - Myonghoon Oh, Jongmoo Choi, Seong-je Cho, Jeesoo Kim, Changhwan Youn, Woosuk Chung:
Analyzing and modeling the impact of memory latency and bandwidth on application performance. 1095-1101 - Iori Yoneji, Takaaki Fukai, Takahiro Shinagawa, Kazuhiko Kato:
Unified hardware abstraction layer with device masquerade. 1102-1108 - Kenichi Kourai, Naoto Fukuda, Tomohiro Kodama:
Efficient page-cache encryption for smart devices with non-volatile main memory. 1109-1115 - Faris Almansour, Ramesh K. Karne, Alexander L. Wijesinha, Bharat S. Rawal:
Ethernet bonding on a bare PC web server with dual NICs. 1116-1121 - Rivalino Matias Jr., Alexandre Beletti Ferreira:
Kloadavg: a load index for the OS kernel level. 1122-1128
System software and security: OS - operating systems track: poster papers
- Chin-Hsien Wu, Chien-Wei Chen, Kai-Chun Wang:
A cost-aware object management method for in-memory computing frameworks. 1129-1132 - Yeonjin Noh, Jinsoo Yoo, Seongjin Lee, Youjip Won:
UFLRU: unmapped file first LRU scheme for non-volatile memory. 1133-1135 - Vicente J. P. Amorim, Saul E. Delabrida, Ricardo A. O. Oliveira:
Investigating the performance impacts of I/O operations and disk cache on operating systems for wearables. 1136-1139
System software and security: PDP - privacy by design in practice track
- Amir Shayan Ahmadian, Jan Jürjens, Daniel Strüber:
Extending model-based privacy analysis for the industrial data space by exploiting privacy level agreements. 1142-1149 - Michael Colesky, Julio C. Caiza, José M. del Álamo, Jaap-Henk Hoepman, Yod Samuel Martín:
A system of privacy patterns for user control. 1150-1156 - Sourya Joyee De, Abdessamad Imine:
To reveal or not to reveal: balancing user-centric social benefit and privacy in online social networks. 1157-1164 - Farzaneh Karegar, Nina Gerber, Melanie Volkamer, Simone Fischer-Hübner:
Helping john to make informed decisions on using social login. 1165-1174
System software and security: PDP - privacy by design in practice track: poster papers
- Kim Wuyts, Dimitri Van Landuyt, Aram Hovsepyan, Wouter Joosen:
Effective and efficient privacy threat modeling through domain refinements. 1175-1178 - Erik Sy, Tobias Mueller, Matthias Marx, Dominik Herrmann:
AppPETs: a framework for privacy-preserving apps. 1179-1182
Software design and development: PL - programming languages track
- Jan C. Dageförde, Herbert Kuchen:
A constraint-logic object-oriented language. 1185-1194 - Sérgio Medeiros, Fabio Mascarenhas:
Syntax error recovery in parsing expression grammars. 1195-1202 - Paul Tarau:
Declarative algorithms for generation, counting and random sampling of term algebras. 1203-1210 - Tiago Carvalho, João M. P. Cardoso:
An approach based on a DSL + API for programming runtime adaptivity and autotuning concerns. 1211-1220 - Ankica Barisic, João Cambeiro, Vasco Amaral, Miguel Goulão, Tarquínio Mota:
Leveraging teenagers feedback in the development of a domain-specific language: the case of programming low-cost robots. 1221-1229 - Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa:
Efficient evaluation of context-free path queries for graph databases. 1230-1237 - Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki:
A framework for constructing javascript virtual machines with customized datatype representations. 1238-1247 - Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti:
Communications in choreographies, revisited. 1248-1255
Software design and development: PL - programming languages track: poster papers
- Tetsuro Yamazaki, Shigeru Chiba:
Buffered garbage collection for self-reflective customization. 1256-1259
Software design and development: RE - requirements engineering track
- Andrés Paz, Ghizlane El-Boussaidi:
Building a software requirements specification and design for an avionics system: an experience report. 1262-1271 - Sotirios Liaskos, Teodora Dundjerovic, Grace Gabriel:
Comparing alternative goal model visualizations for decision making: an exploratory experiment. 1272-1281 - Andrew Yi-Zong Ou, Maryam Rahmaniheris, Yu Jiang, Lui Sha, Zhicheng Fu, Shangping Ren:
Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP. 1282-1291 - João Pablo S. da Silva, Miguel Ecar, Marcelo Soares Pimenta, Fábio Natanael Kepler, Gilleanes Thorwald Araujo Guedes, Carlos Michel Betemps:
Improving self-adaptive systems conceptual modeling. 1292-1299 - João Pimentel, Emanuel Santos, Tarcísio Pereira, Daniel Ferreira, Jaelson Castro:
A gamified requirements inspection process for goal models. 1300-1307 - Eric Souza, Ana Moreira:
Deriving services from KAOS models. 1308-1315
Software design and development: RE - requirements engineering track: poster papers
- Sravani Teja Bulusu, Romain Laborde, Ahmad Samer Wazan, François Barrère, Abdelmalek Benzekri:
Applying a requirement engineering based approach to evaluate the security requirements engineering methodologies. 1316-1318
System software and security: RS - recommender systems: theory, user interactions and applications track
- Alessandro Cucchiarelli, Christian Morbidoni, Giovanni Stilo, Paola Velardi:
What to write and why: a recommender for news media. 1321-1330 - Qian Zhao, F. Maxwell Harper, Gediminas Adomavicius, Joseph A. Konstan:
Explicit or implicit feedback? engagement or satisfaction?: a field experiment on machine-learning-based recommender systems. 1331-1340 - Denis Kotkov, Joseph A. Konstan, Qian Zhao, Jari Veijalainen:
Investigating serendipity in recommender systems based on real user feedback. 1341-1350 - Xin Guan, Chang-Tsun Li, Yu Guan:
Active learning in multi-domain collaborative filtering recommender systems. 1351-1357 - Kevin Jasberg, Sergej Sizov:
Human uncertainty and ranking error: fallacies in metric-based evaluation of recommender systems. 1358-1365 - Thuy Ngoc Nguyen, Francesco Ricci:
Situation-dependent combination of long-term and session-based preferences in group recommendations: an experimental analysis. 1366-1373 - Andreu Vall, Matthias Dorfer, Markus Schedl, Gerhard Widmer:
A hybrid approach to music playlist continuation based on playlist-song membership. 1374-1382 - Taavi T. Taijala, Martijn C. Willemsen, Joseph A. Konstan:
Movieexplorer: building an interactive exploration tool from ratings and latent taste spaces. 1383-1392
System software and security: RS - recommender systems: theory, user interactions and applications track: poster papers
- Tiago Cunha, Carlos Soares, André C. P. L. F. de Carvalho:
A label ranking approach for selecting rankings of collaborative filtering algorithms. 1393-1395 - Nava Tintarev, Shahin Rostami, Barry Smyth:
Knowing the unknown: visualising consumption blind-spots in recommender systems. 1396-1399
Software design and development: SATTA - software architecture: theory, technology, and applications track
- Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel:
An ocarina extension for AADL formal semantics generation. 1402-1409 - Marcelo Machado, Ricardo Choren:
Improving the detection of evolutionary coupling: an approach considering sliding verification. 1410-1416 - Hwi Ahn, Sungwon Kang, Seonah Lee:
Reconstruction of execution architecture view using dependency relationships and execution traces. 1417-1424 - Laurens Sion, Koen Yskout, Dimitri Van Landuyt, Wouter Joosen:
Solution-aware data flow diagrams for security threat modeling. 1425-1432 - Ludovic Mouline, Amine Benelallam, Thomas Hartmann, François Fouquet, Johann Bourcier, Brice Morin, Olivier Barais:
Enabling temporal-aware contexts for adaptative distributed systems. 1433-1440 - Marco Autili, Amleto Di Salle, Francesco Gallo, Claudio Pompilio, Massimo Tivoli:
Model-driven adaptation of service choreographies. 1441-1450
Software design and development: SATTA - software architecture: theory, technology, and applications track: poster papers
- Roger da Silva Machado, Felipe Rosa, Ricardo Borges Almeida, Tiago T. Primo, Maurício L. Pilla, Ana Marilza Pernas, Adenauer C. Yamin:
A hybrid architecture to enrich context awareness through data correlation. 1451-1453 - Soumia Zellagui, Chouki Tibermacine, Ghizlane El-Boussaidi, Abdelhak-Djamel Seriai, Hinde-Lilia Bouziane, Christophe Dony:
Recovering runtime architecture models and managing their complexity using dynamic information and composite structures. 1454-1456 - Ulrik Ekedahl, Radu-Casian Mihailescu, Zhizhong Ma:
Lessons learned from adapting "things" to IoT platforms in research and teaching. 1457-1460 - Valdemar Vicente Graciano Neto, Wallace Manzano, Lina Maria Garcés Rodriguez, Milena Guessi, Brauner R. N. Oliveira, Tiago Volpato, Elisa Yumi Nakagawa:
Back-SoS: towards a model-based approach to address architectural drift in systems-of-systems. 1461-1463
Software design and development: SATTA - software architecture: theory, technology, and applications track: student research abstract
- Francesco Nocera:
A liquid software-driven semantic complex event processing-based platform for health monitoring: student research abstract. 1464-1465
Software design and development: SE - software engineering track
- Amir Shayan Ahmadian, Daniel Strüber, Volker Riediger, Jan Jürjens:
Supporting privacy impact assessment by model-based privacy analysis. 1467-1474 - Saahil Ognawala, Thomas Hutzelmann, Eirini Psallida, Alexander Pretschner:
Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach. 1475-1482 - André Miranda, João Pimentel:
On the use of package managers by the C++ open-source community. 1483-1491 - Eun-Young Kang, Li Huang, Dongrui Mu:
Formal verification of energy and timed requirements for a cooperative automotive system. 1492-1499 - Shouzheng Yang, Vassilios Tzerpos:
A model for analysis and presentation of design pattern detection results. 1500-1509 - Martin J. Shepperd, Carolyn Mair, Magne Jørgensen:
An experimental evaluation of a de-biasing intervention for professional software developers. 1510-1517 - Andreas Fuchs, Herbert Kuchen:
Test-case generation for web-service clients. 1518-1527 - Bruno Luan de Sousa, Mariza A. S. Bigonha, Kecia A. M. Ferreira:
A systematic literature mapping on the relationship between design patterns and bad smells. 1528-1535 - Md. Rakibul Islam, Minhaz F. Zibran:
DEVA: sensing emotions in the valence arousal space in software engineering text. 1536-1543 - Luigi Cafaro, Rita Francese, Ciro Palumbo, Michele Risi, Genoveffa Tortora:
An agile process supporting software reuse: an industrial experience. 1544-1551 - Javier Belmonte, Philippe Dugerdil:
Program understanding using ontologies and dynamic analysis. 1552-1559 - Maral Azizi, Hyunsook Do:
A collaborative filtering recommender system for test case prioritization in web applications. 1560-1567 - Vidroha Debroy, Lance Brimble, Matthew Yost:
NewTL: engineering an extract, transform, load (ETL) software system for business on a very large scale. 1568-1575
Software design and development: SE - software engineering track: poster papers
- Hasan Ferit Eniser, Alper Sen, Suleyman Olcay Polat:
Fancymock: creating virtual services from transactions. 1576-1578
Software design and development: SE - software engineering track: student research abstract
- Robert Heumüller:
Leveraging project-specificity to find suitable specifications: student research abstract. 1579-1580 - Ashalatha Kunnappilly:
A formally assured intelligent ecosystem for enhanced ambient assisted living support. 1581-1582
System software and security: SEC - computer security track
- Philipp Miedl, Lothar Thiele:
The security risks of power measurements in multicores. 1585-1592 - Jihye Kim, Seunghwa Lee, Jiwon Lee, Hyunok Oh:
Combinatorial subset difference public key broadcast encryption scheme for secure multicast. 1593-1600 - Michael Hölzl, Michael Roland, Omid Mir, René Mayrhofer:
Bridging the gap in privacy-preserving revocation: practical and scalable revocation of mobile eIDs. 1601-1609 - Or Ami, Yuval Elovici, Danny Hendler:
Ransomware prevention using application authentication-based file access control. 1610-1619 - Hamid Reza Ghaeini, Daniele Antonioli, Ferdinand Brasser, Ahmad-Reza Sadeghi, Nils Ole Tippenhauer:
State-aware anomaly detection for industrial control systems. 1620-1628 - Jos van Roosmalen, Harald P. E. Vranken, Marko C. J. D. van Eekelen:
Applying deep learning on packet flows for botnet detection. 1629-1636 - Mahdi Alizadeh, Sander Peters, Sandro Etalle, Nicola Zannone:
Behavior analysis in the medical sector: theory and practice. 1637-1646 - Sai Prashanth Chandramouli, Pierre-Marie Bajan, Christopher Kruegel, Giovanni Vigna, Ziming Zhao, Adam Doupé, Gail-Joon Ahn:
Measuring E-mail header injections on the world wide web. 1647-1656
System software and security: SiSoS - software-intensive systems-of-systems track
- Ilhem Khlif, Imen Tounsi, Mohamed Hadj Kacem, Cédric Eichler, Ahmed Hadj Kacem:
A refinement-based approach for specifying multi-scale software architectures: application to SoS. 1660-1667 - Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel:
A decision approach for energy distribution management in smart cities. 1668-1673 - Eduardo Silva, Thaís Batista:
Formal modeling systems-of-systems missions with mKAOS. 1674-1679 - Cédric Eichler, Khalil Drira, Thierry Monteil, Patricia Stolf:
Correctness by construction and style preserving reconfigurations of system of systems. 1680-1686 - Valdemar Vicente Graciano Neto, Wallace Manzano, Adair José Rohling, Maurício Gonçalves Vieira Ferreira, Tiago Volpato, Elisa Yumi Nakagawa:
Externalizing patterns for simulations in software engineering of systems-of-systems. 1687-1694
System software and security: SiSoS - software-intensive systems-of-systems track: poster papers
- Mahmoud El Hamlaoui, Saloua Bennani, Mahmoud Nassar, Sophie Ebersold, Bernard Coulette:
Heterogeneous design models alignment: from matching to consistency management. 1695-1697 - Mingyu Jin, Donghwan Shin, Doo-Hwan Bae:
ABC+: extended action-benefit-cost modeling with knowledge-based decision-making and interaction model for system of systems simulation. 1698-1701
System software and security: SiSoS - software-intensive systems-of-systems track: student research abstract
- Mamadou Lakhassane Cisse:
Collaborative processes behavioral modeling: student research abstract. 1702-1703
Software design and development: SOAP - service-oriented architecture and programming track
- Benjamin Benni, Sébastien Mosser, Philippe Collet, Michel Riveill:
Supporting micro-services deployment in a safer way: a static analysis and automated rewriting approach. 1706-1715 - Bojan Suzic, Bernd Prünster, Dominik Ziegler:
On the structure and authorization management of RESTful web services. 1716-1724 - Luís H. N. Villaça, Leonardo Guerreiro Azevedo, Fernanda Baião:
Query strategies on polyglot persistence in microservices. 1725-1732
Software design and development: SOAP - service-oriented architecture and programming track: poster papers
- Fabrizio Montesi, Janine Weber:
From the decorator pattern to circuit breakers in microservices. 1733-1735
Information systems: SONAMA - social network and media analysis track
- Rahat Ibn Rafiq, Homa Hosseinmardi, Richard Han, Qin Lv, Shivakant Mishra:
Scalable and timely detection of cyberbullying in online social networks. 1738-1747 - Anupama Aggarwal, Saravana Kumar, Kushagra Bhargava, Ponnurangam Kumaraguru:
The follower count fallacy: detecting Twitter users with manipulated follower count. 1748-1755 - Ana Gabrielle Ramos Falcão, Cláudio de Souza Baptista, Maxwell Guimarães de Oliveira, Júlio Henrique Rocha, Tiago Henrique da Silva Leite, José Eustáquio Rangel de Queiroz:
Towards a reputation model applied to geosocial networks: a case study on crowd4city. 1756-1763 - Ana Carolina Conceição de Jesus, Márcio Enio G. D. Júnior, Wladmir C. Brandão:
Exploiting linkedin to predict employee resignation likelihood. 1764-1771 - Cláudio Borges, João Araújo, Armanda Rodrigues:
Towards an approach to elicit domain requirements from social networks: the case of emergency systems. 1772-1781 - Renato S. Melo, André Luís Vignatti:
A preselection algorithm for the influence maximization problem in power law graphs. 1782-1789 - Jenq-Haur Wang, Shiang Huang:
Improving sentiment classification from high volatility financial news. 1790-1797 - Mauro Dragoni:
Computational advertising in social networks: an opinion mining-based approach. 1798-1804 - Jonatas Wehrmann, Willian E. Becker, Rodrigo C. Barros:
A multi-task neural network for multilingual sentiment classification and language detection on Twitter. 1805-1812 - Hasan M. Jamil, Robert Breckenridge:
Greenship: a social networking system for combating cyber-bullying and defending personal reputation. 1813-1820
Information systems: SONAMA - social network and media analysis track: poster papers
- Gaël Guibon, Magalie Ochs, Patrice Bellot:
Emoji recommendation in private instant messages. 1821-1823 - Htet Myet Lynn, Chang Choi, Pankoo Kim:
Unsupervised translated word sense disambiguation in constructing bilingual lexical database. 1824-1827 - Paul Leger, Carmen Hidalgo-Alcázar, Manuela López:
Using an agent-based model to measure the message repetition effect on Twitter. 1828-1830
Software design and development: SP - software platforms track
- Anton Bykov, Vladimir Ivanov, Alan Rogers, Alexandr Shunevich, Alberto Sillitti, Giancarlo Succi, Alexander Tormasov, Jooyong Yi, Albert Zabirov, Denis Zaplatnikov:
A new architecture and implementation strategy for non-invasive software measurement systems. 1832-1839 - Vikas Kumar Malviya, Sawan Rai, Atul Gupta:
Development of a plugin based extensible feature extraction framework. 1840-1847 - Jeongwoo Choi, Yongmin Kim, Sung Y. Shin, Jiman Hong:
Smart IoT monitoring framework based on oneM2M for fog computing. 1848-1852
Software design and development: SP - software platforms track: poster papers
- Hong Min, Jinman Jung, Seoyeon Kim, Bongjae Kim, Junyoung Heo:
Role-based automatic programming framework for interworking a drone and wireless sensor networks. 1853-1856
Software design and development: SVT - software verification and testing track
- Amey Karkare:
TwAS: two-stage shape analysis for speed and precision. 1857-1864 - John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider:
A web-based tool for analysing normative documents in english. 1865-1872 - Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki:
Qualitative and quantitative analysis with scheduling policies in model checking. 1873-1880 - Yannick Zakowski, David Cachera, Delphine Demange, David Pichardie:
Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement. 1881-1890 - Dimitri Bohlender, Daniel Hamm, Stefan Kowalewski:
Cycle-bounded model checking of PLC software via dynamic large-block encoding. 1891-1898 - Ling Yang, Jun Yan, Jian Zhang:
Generating minimal test set satisfying MC/DC criterion via SAT based approach. 1899-1906 - Rajesh Kumar, Arend Rensink, Mariëlle Stoelinga:
LOCKS: a property specification language for security goals. 1907-1915 - Gulsher Laghari, Serge Demeyer:
On the use of sequence mining within spectrum based fault localisation. 1916-1924 - Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Alexander Schramm:
TeSSLa: runtime verification of non-synchronized real-time streams. 1925-1933 - Nima Dini, Cagdas Yelen, Zakaria Alrmaih, Amresh Kulkarni, Sarfraz Khurshid:
Korat-API: a framework to enhance korat to better support testing and reliability techniques. 1934-1943 - Keita Tsukamoto, Yuta Maezawa, Shinichi Honiden:
AutoPUT: an automated technique for retrofitting closed unit tests into parameterized unit tests. 1944-1951
Information systems: SWA - semantic web and application track
- Nandana Mihindukulasooriya, Mohammad Rifat Ahmmad Rashid, Giuseppe Rizzo, Raúl García-Castro, Óscar Corcho, Marco Torchiano:
RDF shape induction using knowledge base profiling. 1952-1959 - Pierre Maillot, Carlos Bobed:
Measuring structural similarity between RDF graphs. 1960-1967 - Ghada Besbes, Hajer Baazaoui Zghal:
Fuzzy ontologies for search results diversification: application to medical data. 1968-1975 - Lavdim Halilaj, Irlán Grangel-González, Steffen Lohmann, Maria-Esther Vidal, Sören Auer:
EffTE: a dependency-aware approach for test-driven ontology development. 1976-1983 - Dario Malchiodi, Andrea G. B. Tettamanzi:
Predicting the possibilistic score of OWL axioms through modified support vector clustering. 1984-1991 - Sameh K. Mohamed, Vít Novácek, Pierre-Yves Vandenbussche:
Knowledge base completion using distinct subgraph paths. 1992-1999
Information systems: SWA - semantic web and application track: poster papers
- Irlán Grangel-González, Lavdim Halilaj, Maria-Esther Vidal, Steffen Lohmann, Sören Auer, Andreas W. Müller:
Seamless integration of cyber-physical systems in knowledge graphs. 2000-2003
Software design and development: UE - usability engineering track
- Ana Carolina Tomé Klock, Aline Nunes Ogawa, Isabela Gasparini, Marcelo Soares Pimenta:
Does gamification matter?: a systematic mapping about the evaluation of gamification in educational environments. 2006-2012 - Ildevana Poltronieri Rodrigues, Avelino Francisco Zorzo, Maicon Bernardino, Márcia de Borba Campos:
Usa-DSL: usability evaluation framework for domain-specific languages. 2013-2021 - Michael Crystian Nepomuceno Carvalho, Felipe Silva Dias, Aline Grazielle Silva Reis, André Pimenta Freire:
Accessibility and usability problems encountered on websites and applications in mobile devices by blind and normal-vision users. 2022-2029
Software design and development: UE - usability engineering track: poster papers
- Johann Thor Mogensen Ingibergsson, Stefan Hanenberg, Joshua Sunshine, Ulrik Pagh Schultz:
Experience report: studying the readability of a domain specific language. 2030-2033
Software design and development: VSPLE - variability and software product line engineering track
- Stefan Fischer, Roberto Erick Lopez-Herrejon, Alexander Egyed:
Towards a fault-detection benchmark for evaluating software product line testing approaches. 2034-2041 - Jacob Krüger, Kai Ludwig, Bernhard Zimmermann, Thomas Leich:
Physical separation of features: a survey with CPP developers. 2042-2049 - Maxime Cordy, Patrick Heymans:
Engineering configurators for the retail industry: experience report and challenges ahead. 2050-2057 - Juliana Alves Pereira, Jabier Martinez, Hari Kumar Gurudu, Sebastian Krieter, Gunter Saake:
Visual guidance for product line configuration using recommendations and non-functional properties. 2058-2065 - Sami Lazreg, Philippe Collet, Sébastien Mosser:
Assessing the functional feasibility of variability-intensive data flow-oriented systems. 2066-2075
Software design and development: VSPLE - variability and software product line engineering track: student research abstract
- Jacob Krüger:
Separation of concerns: experiences of the crowd. 2076-2077
Distributed systems: WCN - selected areas of wireless communications and networking track
- Muhammad Azfar Yaqub, Syed Hassan Ahmed, Dongkyun Kim:
BIRD: bio-inspired distributed interest forwarding in vehicular named-data networks. 2078-2083 - Sandy Bolufé, Samuel Montejo Sánchez, Cesar A. Azurdia-Meza, Sandra Céspedes, Richard Demo Souza, Evelio M. García Fernández:
Dynamic control of beacon transmission rate and power with position error constraint in cooperative vehicular networks. 2084-2091 - Made Harta Dwijaksara, Wha Sook Jeon, Dong Geun Jeong:
A centralized channelization scheme for wireless LANs exploiting channel bonding. 2092-2101 - Daniel Rezende, Carlos Maziero, Elisa Mannes:
A distributed online certificate status protocol for named data networks. 2102-2108 - Hermes Pimenta de Moraes Jr., Bertrand Ducourthial:
Cooperative neighborhood map in VANETs. 2109-2116 - Fábio Massalino, André L. L. de Aquino:
Identification of anchor zones for floating content in VaNETs based on centrality measures. 2117-2124 - Mohammad Baniata, Mhanwoo Heo, Jinwoo Lee, Juw Won Park, Jiman Hong:
Energy-efficient unequal chain length clustering for WSN. 2125-2131
Distributed systems: WCN - selected areas of wireless communications and networking track: poster papers
- Antonio Rodrigo Delepiane de Vit, César A. M. Marcon, Raul Ceretta Nunes, Thais Webber, Gustavo Sanchez, Carlos Oberdan Rolim:
Energy saving on DTN using trajectory inference model. 2132-2135 - Ali Hussein, Ayman I. Kayssi, Imad H. Elhajj, Ali Chehab:
SDN for QUIC: an enhanced architecture with improved connection establishment. 2136-2139
Distributed systems: WCN - selected areas of wireless communications and networking track: student research abstract
- Muhammad Diyan:
Energy efficient topology management scheme from wireless sensor and ad-hoc network: student research abstract. 2140-2141
Distributed systems: WT - web technologies track
- Juanan Pereira, Oscar Díaz:
A quality analysis of facebook messenger's most popular chatbots. 2144-2150 - Marcio Maestrelo Funes, Tiago Henrique Trojahn, Renata Pontin de Mattos Fortes, Rudinei Goularte:
Gesture4all: a framework for 3D gestural interaction to improve accessibility of web videos. 2151-2158 - Fagner Christian Paes, Willian Massami Watanabe:
Layout cross-browser incompatibility detection using machine learning and DOM segmentation. 2159-2166 - Carlos Zimmerle, Kiev Gama:
A web-based approach using reactive programming for complex event processing in internet of things applications. 2167-2174 - David Dias, Luís Veiga:
browsercloud.js: a distributed computing fabric powered by a P2P overlay network on top of the web platform. 2175-2184 - Alice Graziosi, Angelo Di Iorio, Francesco Poggi, Silvio Peroni, Luca Bonini:
Customising LOD views: a declarative approach. 2185-2192
Distributed systems: WT - web technologies track: poster papers
- Colin Vidal, Gérard Berry, Manuel Serrano:
Hiphop.js: a language to orchestrate web applications. 2193-2195
Distributed systems: WT - web technologies track: student research abstract
- Eduardo Henrique Rizo:
Classification pipeline for automatic identification of widgets and its parts. 2196-2197
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 2025-02-20 19:33 CET 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:
