Search results for "SAC"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Claudio Scordino, Luca Abeni, Juri Lelli	Energy-aware real-time scheduling in the linux kernel.	SAC	2018	DBLP DOI BibTeX RDF
1	Shachar Siboni, Asaf Shabtai, Yuval Elovici	Leaking data from enterprise networks using a compromised smartwatch device.	SAC	2018	DBLP DOI BibTeX RDF
1	Youcheng Sun, Marco Di Natale	Assessing the pessimism of current multicore global fixed-priority schedulability analysis.	SAC	2018	DBLP DOI BibTeX RDF
1	Maxime Cordy, Patrick Heymans	Engineering configurators for the retail industry: experience report and challenges ahead.	SAC	2018	DBLP DOI BibTeX RDF
1	Murilo Crivellari Camargo, Rodolfo M. Barros, Vanessa Tavares de Oliveira Barros	Visual design checklist for graphical user interface (GUI) evaluation.	SAC	2018	DBLP DOI BibTeX RDF
1	Josiane Mothe, Faneva Ramiandrisoa, Michael Rasolomanana	Automatic keyphrase extraction using graph-based methods.	SAC	2018	DBLP DOI BibTeX RDF
1	Faris Hawamdeh	Quantifying walkability of roads using digital elevation models: student research abstract.	SAC	2018	DBLP DOI BibTeX RDF
1	Mario Cortes Cornax, Ajay Krishna 0001, Adrian Mos, Gwen Salaün	Automated analysis of industrial workflow-based models.	SAC	2018	DBLP DOI BibTeX RDF
1	João F. L. Alcântara, Samy Sá	An infinite-valued grounded labelling for abstract argumentation frameworks.	SAC	2018	DBLP DOI BibTeX RDF
1	John Robert Mendoza, Roel Ocampo, Isabel Montes, Cedric Angelo M. Festin	Efficient feature extraction for internet data analysis using AS2Vec.	SAC	2018	DBLP DOI BibTeX RDF
1	Sami Lazreg, Philippe Collet, Sébastien Mosser 0001	Assessing the functional feasibility of variability-intensive data flow-oriented systems.	SAC	2018	DBLP DOI BibTeX RDF
1	Marcelo Machado 0001, Ricardo Choren	Improving the detection of evolutionary coupling: an approach considering sliding verification.	SAC	2018	DBLP DOI BibTeX RDF
1	Gaël Guibon, Magalie Ochs, Patrice Bellot	Emoji recommendation in private instant messages.	SAC	2018	DBLP DOI BibTeX RDF
1	Dirk Reinel, Jörg Scheidt, Andreas Henrich, Niko Brucker	Sentiment phrase generation using statistical methods.	SAC	2018	DBLP DOI BibTeX RDF
1	Ankica Barisic, João Cambeiro, Vasco Amaral 0001, Miguel Goulão, Tarquínio Mota	Leveraging teenagers feedback in the development of a domain-specific language: the case of programming low-cost robots.	SAC	2018	DBLP DOI BibTeX RDF
1	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.	SAC	2018	DBLP DOI BibTeX RDF
1	Jenq-Haur Wang, Shiang Huang	Improving sentiment classification from high volatility financial news.	SAC	2018	DBLP DOI BibTeX RDF
1	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.	SAC	2018	DBLP DOI BibTeX RDF
1	Denis Kotkov, Joseph A. Konstan, Qian Zhao, Jari Veijalainen	Investigating serendipity in recommender systems based on real user feedback.	SAC	2018	DBLP DOI BibTeX RDF
1	Ana Carolina Conceição de Jesus, Márcio Enio G. D. Júnior, Wladmir C. Brandão	Exploiting linkedin to predict employee resignation likelihood.	SAC	2018	DBLP DOI BibTeX RDF
1	Andrés Paz, Ghizlane El-Boussaidi	Building a software requirements specification and design for an avionics system: an experience report.	SAC	2018	DBLP DOI BibTeX RDF
1	Alice Graziosi, Angelo Di Iorio, Francesco Poggi, Silvio Peroni, Luca Bonini	Customising LOD views: a declarative approach.	SAC	2018	DBLP DOI BibTeX RDF
1	Sadia Din	Human behavior analysis based on big data analytics in cyber-physical system: student research abstract.	SAC	2018	DBLP DOI BibTeX RDF
1	Eun-Young Kang 0001, Li Huang 0001, Dongrui Mu	Formal verification of energy and timed requirements for a cooperative automotive system.	SAC	2018	DBLP DOI BibTeX RDF
1	Vinicius dos Santos	Concept maps construction using natural language processing to support studies selection.	SAC	2018	DBLP DOI BibTeX RDF
1	Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa	Efficient evaluation of context-free path queries for graph databases.	SAC	2018	DBLP DOI BibTeX RDF
1	Luís Cruz-Filipe, Fabrizio Montesi, Marco Peressotti	Communications in choreographies, revisited.	SAC	2018	DBLP DOI BibTeX RDF
1	Erik Sy, Tobias Mueller, Matthias Marx, Dominik Herrmann	AppPETs: a framework for privacy-preserving apps.	SAC	2018	DBLP DOI BibTeX RDF
1	Saahil Ognawala, Thomas Hutzelmann, Eirini Psallida, Alexander Pretschner	Improving function coverage with munch: a hybrid fuzzing and directed symbolic execution approach.	SAC	2018	DBLP DOI BibTeX RDF
1	Günter Urak, Hermann Ziak, Roman Kern	Source selection of long tail sources for federated search in an uncooperative setting.	SAC	2018	DBLP DOI BibTeX RDF
1	Anupama Aggarwal, Saravana Kumar, Kushagra Bhargava, Ponnurangam Kumaraguru	The follower count fallacy: detecting Twitter users with manipulated follower count.	SAC	2018	DBLP DOI BibTeX RDF
1	R. A. S. N. Soransso, Maria Cláudia Cavalcanti	Data modeling for analytical queries on document-oriented DBMS.	SAC	2018	DBLP DOI BibTeX RDF
1	Tiago Cunha 0001, Carlos Soares, André C. P. L. F. de Carvalho	A label ranking approach for selecting rankings of collaborative filtering algorithms.	SAC	2018	DBLP DOI BibTeX RDF
1	Kenichi Kourai, Naoto Fukuda, Tomohiro Kodama	Efficient page-cache encryption for smart devices with non-volatile main memory.	SAC	2018	DBLP DOI BibTeX RDF
1	Takafumi Kataoka, Tomoharu Ugawa, Hideya Iwasaki	A framework for constructing javascript virtual machines with customized datatype representations.	SAC	2018	DBLP DOI BibTeX RDF
1	Seyed Morteza Nabavinejad, Maziar Goudarzi	Data locality and VM interference aware mitigation of data skew in hadoop leveraging modern portfolio theory.	SAC	2018	DBLP DOI BibTeX RDF
1	Michael Stein 0001, Alexander Frömmgen, Roland Kluge, Lin Wang 0015, Augustin Wilberg, Boris Koldehofe, Max Mühlhäuser	Scaling topology pattern matching: a distributed approach.	SAC	2018	DBLP DOI BibTeX RDF
1	Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki	Qualitative and quantitative analysis with scheduling policies in model checking.	SAC	2018	DBLP DOI BibTeX RDF
1	Malayam Parambath Gilesh, S. D. Madhu Kumar, Lillykutty Jacob	Bounding the cost of virtual machine migrations for resource allocation in cloud data centers.	SAC	2018	DBLP DOI BibTeX RDF
1	Jos van Roosmalen, Harald P. E. Vranken, Marko C. J. D. van Eekelen	Applying deep learning on packet flows for botnet detection.	SAC	2018	DBLP DOI BibTeX RDF
1	Tiago Carvalho, João M. P. Cardoso	An approach based on a DSL + API for programming runtime adaptivity and autotuning concerns.	SAC	2018	DBLP DOI BibTeX RDF
1	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.	SAC	2018	DBLP DOI BibTeX RDF
1	Bernat Coma-Puig, Josep Carmona 0001	A quality control method for fraud detection on utility customers without an active contract.	SAC	2018	DBLP DOI BibTeX RDF
1	Tetsuro Yamazaki, Shigeru Chiba	Buffered garbage collection for self-reflective customization.	SAC	2018	DBLP DOI BibTeX RDF
1	Ghada Besbes, Hajer Baazaoui Zghal	Fuzzy ontologies for search results diversification: application to medical data.	SAC	2018	DBLP DOI BibTeX RDF
1	Jihye Kim, Seunghwa Lee, Jiwon Lee, Hyunok Oh	Combinatorial subset difference public key broadcast encryption scheme for secure multicast.	SAC	2018	DBLP DOI BibTeX RDF
1	Kim Wuyts, Dimitri Van Landuyt, Aram Hovsepyan, Wouter Joosen	Effective and efficient privacy threat modeling through domain refinements.	SAC	2018	DBLP DOI BibTeX RDF
1	Chin-Chiang Pan, Chien-Chung Ho, Yuan-Hao Chang 0001, Tei-Wei Kuo, Yu-Ming Chang, Ming-Chang Yang	Boosting the performance with a data-backup-free programming scheme for TLC-based SSDs.	SAC	2018	DBLP DOI BibTeX RDF
1	Melisachew Wudage Chekol, Heiner Stuckenschmidt	Tractable reasoning in probabilistic OWL profiles.	SAC	2018	DBLP DOI BibTeX RDF
1	Amey Karkare	TwAS: two-stage shape analysis for speed and precision.	SAC	2018	DBLP DOI BibTeX RDF
1	Amir Shayan Ahmadian, Jan Jürjens, Daniel Strüber 0001	Extending model-based privacy analysis for the industrial data space by exploiting privacy level agreements.	SAC	2018	DBLP DOI BibTeX RDF
1	Arthur F. Da Costa, Marcelo G. Manzato, Ricardo J. G. B. Campello	CoRec: a co-training approach for recommender systems.	SAC	2018	DBLP DOI BibTeX RDF
1	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.	SAC	2018	DBLP DOI BibTeX RDF
1	Jinsoo Yoo, Yongjun Park 0001, Seongjin Lee, Youjip Won	Automatic code conversion for non-volatile memory.	SAC	2018	DBLP DOI BibTeX RDF
1	Daniel Y. T. Chino, Lucas C. Scabora, Caetano Traina Jr., Agma J. M. Traina	BoSS: image retrieval using bag-of-superpixels signatures.	SAC	2018	DBLP DOI BibTeX RDF
1	Mahdi Alizadeh, Sander Peters, Sandro Etalle, Nicola Zannone	Behavior analysis in the medical sector: theory and practice.	SAC	2018	DBLP DOI BibTeX RDF
1	Yannick Zakowski, David Cachera, Delphine Demange, David Pichardie	Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement.	SAC	2018	DBLP DOI BibTeX RDF
1	Jacob Krüger	Separation of concerns: experiences of the crowd.	SAC	2018	DBLP DOI BibTeX RDF
1	Hasan Ferit Eniser, Alper Sen 0001, Suleyman Olcay Polat	Fancymock: creating virtual services from transactions.	SAC	2018	DBLP DOI BibTeX RDF
1	Smruti R. Sarangi, Sakshi Goel, Bhumika Singh	Energy efficient scheduling in IoT networks.	SAC	2018	DBLP DOI BibTeX RDF
1	Juanan Pereira, Oscar Díaz	A quality analysis of facebook messenger's most popular chatbots.	SAC	2018	DBLP DOI BibTeX RDF
1	Alexandre Tessier	A novel low power brain electrical activity monitor using IoT: student research abstract.	SAC	2018	DBLP DOI BibTeX RDF
1	Muhammad Diyan 0001	Energy efficient topology management scheme from wireless sensor and ad-hoc network: student research abstract.	SAC	2018	DBLP DOI BibTeX RDF
1	Joanna Turner, Qinggang Meng, Gerald Schaefer, Andrea Soltoggio	Fast consensus for fully distributed multi-agent task allocation.	SAC	2018	DBLP DOI BibTeX RDF
1	Chin-Hsien Wu, Chien-Wei Chen, Kai-Chun Wang	A cost-aware object management method for in-memory computing frameworks.	SAC	2018	DBLP DOI BibTeX RDF
1	Ashalatha Kunnappilly	A formally assured intelligent ecosystem for enhanced ambient assisted living support.	SAC	2018	DBLP DOI BibTeX RDF
1	Taeho Hwang, Myungsik Kim, Seongjin Lee, Youjip Won	On the I/O characteristics of the mobile web browsers.	SAC	2018	DBLP DOI BibTeX RDF
1	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.	SAC	2018	DBLP DOI BibTeX RDF
1	Rivalino Matias Jr., Alexandre Beletti Ferreira	Kloadavg: a load index for the OS kernel level.	SAC	2018	DBLP DOI BibTeX RDF
1	Ling Yang, Jun Yan 0009, Jian Zhang 0001	Generating minimal test set satisfying MC/DC criterion via SAT based approach.	SAC	2018	DBLP DOI BibTeX RDF
1	Markku-Juhani O. Saarinen	HILA5: On Reliability, Reconciliation, and Error Correction for Ring-LWE Encryption.	SAC	2017	DBLP DOI BibTeX RDF
1	Thomaz Oliveira, Julio César López-Hernández, Hüseyin Hisil, Armando Faz-Hernández, Francisco Rodríguez-Henríquez	How to (Pre-)Compute a Ladder - Improving the Performance of X25519 and X448.	SAC	2017	DBLP DOI BibTeX RDF
1	Reza Azarderakhsh, David Jao, Christopher Leonardi	Post-Quantum Static-Static Key Agreement Using Multiple Protocol Instances.	SAC	2017	DBLP DOI BibTeX RDF
1	Bailey Kacsmar, Sarah Plosker, Ryan Henry	Computing Low-Weight Discrete Logarithms.	SAC	2017	DBLP DOI BibTeX RDF
1	Robin Kwant, Tanja Lange 0001, Kimberley Thissen	Lattice Klepto - Turning Post-Quantum Crypto Against Itself.	SAC	2017	DBLP DOI BibTeX RDF
1	Xinping Zhou, Carolyn Whitnall, Elisabeth Oswald, Degang Sun, Zhu Wang 0005	Categorising and Comparing Cluster-Based DPA Distinguishers.	SAC	2017	DBLP DOI BibTeX RDF
1	Jean-Claude Bajard, Julien Eynard, M. Anwar Hasan, Paulo Martins 0002, Leonel Sousa, Vincent Zucca	Efficient Reductions in Cyclotomic Rings - Application to Ring-LWE Based FHE Schemes.	SAC	2017	DBLP DOI BibTeX RDF
1	Gustavo Banegas, Daniel J. Bernstein	Low-Communication Parallel Quantum Multi-Target Preimage Search.	SAC	2017	DBLP DOI BibTeX RDF
1	Daniel J. Bernstein, Chitchanok Chuengsatiansup, Tanja Lange 0001, Christine van Vredendaal	NTRU Prime: Reducing Attack Surface at Low Cost.	SAC	2017	DBLP DOI BibTeX RDF
1	Ray A. Perlner, Albrecht Petzoldt, Daniel Smith-Tone	Total Break of the SRP Encryption Scheme.	SAC	2017	DBLP DOI BibTeX RDF
1	Laurent Grémy, Aurore Guillevic, François Morain, Emmanuel Thomé	Computing Discrete Logarithms in p6.	SAC	2017	DBLP DOI BibTeX RDF
1	Mohamed Tolba, Ahmed Abdelkhalek 0001, Amr M. Youssef	Multidimensional Zero-Correlation Linear Cryptanalysis of Reduced Round SPARX-128.	SAC	2017	DBLP DOI BibTeX RDF
1	Daniel P. Martin 0001, Ashley Montanaro, Elisabeth Oswald, Daniel James Shepherd	Quantum Key Search with Side Channel Advice.	SAC	2017	DBLP DOI BibTeX RDF
1	Edward Eaton	Leighton-Micali Hash-Based Signatures in the Quantum Random-Oracle Model.	SAC	2017	DBLP DOI BibTeX RDF
1	Hairong Yi, Yuqing Zhu 0003, Dongdai Lin	Refinement of the Four-Dimensional GLV Method on Elliptic Curves.	SAC	2017	DBLP DOI BibTeX RDF
1	Xavier Bonnetain	Quantum Key-Recovery on Full AEZ.	SAC	2017	DBLP DOI BibTeX RDF
1	Amir Jalali, Reza Azarderakhsh, Mehran Mozaffari Kermani	Efficient Post-Quantum Undeniable Signature on 64-Bit ARM.	SAC	2017	DBLP DOI BibTeX RDF
1	Koichiro Akiyama, Yasuhiro Goto, Shinya Okumura, Tsuyoshi Takagi, Koji Nuida, Goichiro Hanaoka	A Public-Key Encryption Scheme Based on Non-linear Indeterminate Equations.	SAC	2017	DBLP DOI BibTeX RDF
1	Riham AlTawy, Raghvendra Rohit 0001, Morgan He, Kalikinkar Mandal, Gangqiang Yang, Guang Gong	sLiSCP: Simeck-Based Permutations for Lightweight Sponge Cryptographic Primitives.	SAC	2017	DBLP DOI BibTeX RDF
1	Jean-François Biasse	Approximate Short Vectors in Ideal Lattices of Q(ζpe) with Precomputation of Cl(OK).	SAC	2017	DBLP DOI BibTeX RDF
1	Brian Koziel, Reza Azarderakhsh, David Jao	Side-Channel Attacks on Quantum-Resistant Supersingular Isogeny Diffie-Hellman.	SAC	2017	DBLP DOI BibTeX RDF
1	Yang Yu 0008, Léo Ducas	Second Order Statistical Behavior of LLL and BKZ.	SAC	2017	DBLP DOI BibTeX RDF
1	Roberto Avanzi, Howard M. Heys (eds.)	Selected Areas in Cryptography - SAC 2016 - 23rd International Conference, St. John's, NL, Canada, August 10-12, 2016, Revised Selected Papers	SAC	2017	DBLP DOI BibTeX RDF
1	Leon Groot Bruinderink, Andreas Hülsing	"Oops, I Did It Again" - Security of One-Time Signatures Under Two-Message Attacks.	SAC	2017	DBLP DOI BibTeX RDF
1	M. Mazhar Rathore	Distributed smart street LED lights for human satisfaction in smart city: student research abstract.	SAC	2017	DBLP DOI BibTeX RDF
1	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.	SAC	2017	DBLP DOI BibTeX RDF
1	Mauro Dragoni, Andi Rexha, Hermann Ziak, Roman Kern	A semantic federated search engine for domain-specific document retrieval.	SAC	2017	DBLP DOI BibTeX RDF
1	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Alfredo Cuzzocrea	Syntactic and semantic validation of SPARQL queries.	SAC	2017	DBLP DOI BibTeX RDF
1	Antti Virtanen, Kati Kuusinen, Marko Leppänen, Antti Luoto, Terhi Kilamo, Tommi Mikkonen	On continuous deployment maturity in customer projects.	SAC	2017	DBLP DOI BibTeX RDF
1	Michele Ruta, Floriano Scioscia, Saverio Ieva, Giuseppe Loseto, Filippo Gramegna, Agnese Pinto	Knowledge discovery and sharing in the IoT: the physical semantic web vision.	SAC	2017	DBLP DOI BibTeX RDF

Publications at "SAC"( http://dblp.L3S.de/Venues/SAC )