Search results for "composability"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Ilkay Altintas, Ismael Pérez, Dmitry Mishin, Adrien Trouillaud, Christopher Irving, John Graham, Mahidhar Tatineni, Thomas A. DeFanti, Shawn Strande, Larry Smarr, Michael L. Norman	Towards a Dynamic Composability Approach for using Heterogeneous Systems in Remote Sensing.	CoRR	2022	DBLP DOI BibTeX RDF
20	Mike Graf 0001, Ralf Küsters, Daniel Rausch 0001	AUC: Accountable Universal Composability.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
20	Ilkay Altintas, Ismael Pérez, Dmitry Mishin, Adrien Trouillaud, Christopher Irving, John Graham, Mahidhar Tatineni, Thomas A. DeFanti, Shawn Strande, Larry Smarr, Michael L. Norman	Towards a Dynamic Composability Approach for using Heterogeneous Systems in Remote Sensing.	e-Science	2022	DBLP DOI BibTeX RDF
20	Bas van den Brink, Tannaz Zameni, Ulyana Tikhonova, Lammert Vinke, Ana-Maria Oprescu	Leveraging composability in model-based testing for microservices.	BENEVOL	2022	DBLP BibTeX RDF
20	Paul Carpenter	COMPSYS 2022 Keynote Talk: Composability at the Boundary Between HPC and Cloud.	IPDPS Workshops	2022	DBLP DOI BibTeX RDF
20	Junseong Bang	Metaverse Interoperability with Composability in Hyper-Connected and Hyper-Personalized Virtual Environments.	ITU K	2022	DBLP DOI BibTeX RDF
20	Jacques Nadeau	Substrait: Rethinking DBMS Composability.	CDMS@VLDB	2022	DBLP BibTeX RDF
20	Alexander Mazein, Adrien Rougny, Jonathan R. Karr, Julio Saez-Rodriguez, Marek Ostaszewski, Reinhard Schneider 0002	Reusability and composability in process description maps: RAS-RAF-MEK-ERK signalling.	Briefings Bioinform.	2021	DBLP DOI BibTeX RDF
20	Rajiv Movva, Jonathan Frankle, Michael Carbin	Studying the Consistency and Composability of Lottery Ticket Pruning Masks.	CoRR	2021	DBLP BibTeX RDF
20	Edward McDaid, Sarah McDaid	The Composability of Intermediate Values in Composable Inductive Programming.	CoRR	2021	DBLP BibTeX RDF
20	Victor von Wachter, Johannes Rude Jensen, Omri Ross	Measuring Asset Composability as a Proxy for Ecosystem Integration.	CoRR	2021	DBLP BibTeX RDF
20	Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub	Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
20	Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu	Algebraic Adversaries in the Universal Composability Framework.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
20	Rachel Yun Zhang	The relation between composability and splittability of permutation classes.	Discret. Math.	2021	DBLP DOI BibTeX RDF
20	Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub	Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.	CCS	2021	DBLP DOI BibTeX RDF
20	Victor von Wachter, Johannes Rude Jensen, Omri Ross	Measuring Asset Composability as a Proxy for DeFi Integration.	Financial Cryptography Workshops	2021	DBLP DOI BibTeX RDF
20	Imran Mahmood, Syed Hassan Askari, Hessam S. Sarjoughian	Composability Verification of Complex Systems Using Colored Petri Nets.	WSC	2021	DBLP DOI BibTeX RDF
20	Ilkay Altintas	A Tale of Two C's: Convergence and Composability.	IPDPS	2021	DBLP DOI BibTeX RDF
20	Michel Abdalla, Manuel Barbosa, Jonathan Katz, Julian Loss, Jiayu Xu	Algebraic Adversaries in the Universal Composability Framework.	ASIACRYPT (3)	2021	DBLP DOI BibTeX RDF
20	Donald Beaver	Software Integrity and Validation Using Cryptographic Composability and Computer Vision.	CSCML	2021	DBLP DOI BibTeX RDF
20	Devaprakash Muniraj, Dany Abou Jaoude, Mazen Farhood	On Using Composability Tools for Reliability Analysis of Unmanned Multi-Aircraft Systems: A Case Study.	IEEE Access	2020	DBLP DOI BibTeX RDF
20	Ralf Küsters, Max Tuengerthal, Daniel Rausch 0001	The IITM Model: A Simple and Expressive Model for Universal Composability.	J. Cryptol.	2020	DBLP DOI BibTeX RDF
20	Soroush Ghodrati, Hardik Sharma, Cliff Young, Nam Sung Kim, Hadi Esmaeilzadeh	Bit-Parallel Vector Composability for Neural Acceleration.	CoRR	2020	DBLP BibTeX RDF
20	Rafael Dowsley, Jörn Müller-Quade, Anderson C. A. Nascimento	On the Composability of Statistically Secure Random Oblivious Transfer.	Entropy	2020	DBLP DOI BibTeX RDF
20	Marjan Skrobot, Jean Lancrenon	On Composability of Game-based Password Authenticated Key Exchange.	IACR Cryptol. ePrint Arch.	2020	DBLP BibTeX RDF
20	Zhi Zhu, Ning Zhu, Yongling Lei, Qun Li 0006, Huabing Wang	Engineering Semantic Composability Based on Ontological Metamodeling.	SimuTools (1)	2020	DBLP DOI BibTeX RDF
20	Soroush Ghodrati, Hardik Sharma, Cliff Young, Nam Sung Kim, Hadi Esmaeilzadeh	Bit-Parallel Vector Composability for Neural Acceleration.	DAC	2020	DBLP DOI BibTeX RDF
20	Daniel Rausch 0001	Simple and flexible universal composability: definition of a framework and applications.		2020	RDF
20	Mark Karpilovskij	Composability of Permutation Classes.	Electron. J. Comb.	2019	DBLP DOI BibTeX RDF
20	Ran Cohen, Sandro Coretti, Juan A. Garay, Vassilis Zikas	Probabilistic Termination and Composability of Cryptographic Protocols.	J. Cryptol.	2019	DBLP DOI BibTeX RDF
20	Hélène Coullon, Julien Bigot, Christian Pérez	Extensibility and Composability of a Multi-Stencil Domain Specific Framework.	Int. J. Parallel Program.	2019	DBLP DOI BibTeX RDF
20	Marco Patrignani, Riad S. Wahby, Robert Künnemann	Universal Composability is Secure Compilation.	CoRR	2019	DBLP BibTeX RDF
20	Jan Camenisch, Stephan Krenn, Ralf Küsters, Daniel Rausch 0001	iUC: Flexible Universal Composability Made Simple.	IACR Cryptol. ePrint Arch.	2019	DBLP BibTeX RDF
20	Feng Zhu 0009, Yiping Yao, Jin Li, Wenjie Tang	Reusability and composability analysis for an agent-based hierarchical modelling and simulation framework.	Simul. Model. Pract. Theory	2019	DBLP DOI BibTeX RDF
20	Jan Camenisch, Stephan Krenn, Ralf Küsters, Daniel Rausch 0001	iUC: Flexible Universal Composability Made Simple.	ASIACRYPT (3)	2019	DBLP DOI BibTeX RDF
20	Hui Guan 0001, Xipeng Shen, Seung-Hwan Lim	Wootz: a compiler-based framework for fast CNN pruning via composability.	PLDI	2019	DBLP DOI BibTeX RDF
20	Ali Behravan, Nadra Tabassam, Osama Al-Najjar, Roman Obermaisser	Composability Modeling for the Use Case of Demand-controlled Ventilation and Heating System.	CoDIT	2019	DBLP DOI BibTeX RDF
20	Gabriele Farina, Christian Kroer, Tuomas Sandholm	Regret Circuits: Composability of Regret Minimizers.	ICML	2019	DBLP BibTeX RDF
20	Stefan Korecko	Utilizing Rail Traffic Control Simulator in Verified Software Development Courses.	CEFP	2019	DBLP DOI BibTeX RDF
20	Bart Zuilhof, Rinse van Hees, Clemens Grelck	Code Quality Metrics for Functional Features in Modern Object-Oriented Languages.	CEFP	2019	DBLP DOI BibTeX RDF
20	Nikolay Handzhiyski, Elena Somova	Tunnel Parsing.	CEFP	2019	DBLP DOI BibTeX RDF
20	Tibor Brunner, Máté Cserép, Anett Fekete, Mónika Mészáros, Zoltán Porkoláb	Towards Better Tool Support for Code Comprehension.	CEFP	2019	DBLP DOI BibTeX RDF
20	Rui Pereira, Marco Couto 0001, Jácome Cunha, Gilberto Melfe, João Saraiva, João Paulo Fernandes	Paint Your Programs Green: On the Energy Efficiency of Data Structures.	CEFP	2019	DBLP DOI BibTeX RDF
20	Tihana Galinac Grbac, Nikola Domazet	The Role of Functional Programming in Management and Orchestration of Virtualized Network Resources - Part II. Network Evolution and Design Principles.	CEFP	2019	DBLP DOI BibTeX RDF
20	Jianhao Li, Yuri Kim, Viktória Zsók	Balanced Distributed Computation Patterns.	CEFP	2019	DBLP DOI BibTeX RDF
20	Mart Lubbers, Pieter W. M. Koopman, Rinus Plasmeijer	Writing Internet of Things Applications with Task Oriented Programming.	CEFP	2019	DBLP DOI BibTeX RDF
20	Gonçalo Lopes, João Paulo Fernandes, Luís Paquete	An Empirical Study on the Energy Efficiency of Matrix Transposition Algorithms.	CEFP	2019	DBLP DOI BibTeX RDF
20	João Saraiva, Rui Pereira	Energy Efficient Software in an Engineering Course.	CEFP	2019	DBLP DOI BibTeX RDF
20	Simon Baars, Ana Oprescu	Finding Code Clone Refactoring Techniques by Mapping Clone Context.	CEFP	2019	DBLP DOI BibTeX RDF
20	Shahram Khazaei, Mehri Rezaei-Aliabadi	A rigorous security analysis of a decentralized electronic voting protocol in the universal composability framework.	J. Inf. Secur. Appl.	2018	DBLP DOI BibTeX RDF
20	Alonso González, Alejandro Hevia	A second note on the feasibility of generalized universal composability.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
20	Zhi Zhu, Yonglin Lei, Abdurrahman Alshareef, Hessam S. Sarjoughian, Yifan Zhu	Domain Specific MetaModeling for Deep Semantic Composability.	IEEE Access	2018	DBLP DOI BibTeX RDF
20	Rafael Dowsley, Jörn Müller-Quade, Anderson C. A. Nascimento	On the Composability of Statistically Secure Random Oblivious Transfer.	CoRR	2018	DBLP BibTeX RDF
20	Gabriele Farina, Christian Kroer, Tuomas Sandholm	Composability of Regret Minimizers.	CoRR	2018	DBLP BibTeX RDF
20	Huifang Yu 0001, Zhicang Wang, Jianmin Li, Xinzhe Gao	Identity-Based Proxy Signcryption Protocol with Universal Composability.	Secur. Commun. Networks	2018	DBLP DOI BibTeX RDF
20	Brandon Broadnax, Alexander Koch 0001, Jeremias Mechler, Tobias Müller 0005, Jörn Müller-Quade, Matthias Nagel 0001	Fortified Universal Composability: Taking Advantage of Simple Secure Hardware Modules.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
20	Paul Glotfelter, Jorge Cortés 0001, Magnus Egerstedt	Boolean Composability of Constraints and Control Synthesis for Multi-Robot Systems via Nonsmooth Control Barrier Functions.	CCTA	2018	DBLP DOI BibTeX RDF
20	Sathya Peri, Ajay Singh 0002, Archit Somani	Efficient Means of Achieving Composability Using Object Based Semantics in Transactional Memory Systems.	NETYS	2018	DBLP DOI BibTeX RDF
20	Marjan Skrobot, Jean Lancrenon	On Composability of Game-Based Password Authenticated Key Exchange.	EuroS&P	2018	DBLP DOI BibTeX RDF
20	Daniel Rausch 0001	Universal Composability: A Comparison of Different Models.	Krypto-Tag	2018	DBLP DOI BibTeX RDF
20	Kyung-Min Seo, Wooyoung Hong, Tag Gon Kim	Enhancing model composability and reusability for entity-level combat simulation: A conceptual modeling approach.	Simul.	2017	DBLP DOI BibTeX RDF
20	J. Frederico Carvalho 0001, Sérgio Daniel Pequito, A. Pedro Aguiar, Soummya Kar, Karl Henrik Johansson	Composability and controllability of structural linear time-invariant systems: Distributed verification.	Autom.	2017	DBLP DOI BibTeX RDF
20	Sathya Peri, Ajay Singh 0002, Archit Somani	Efficient means of Achieving Composability using Transactional Memory.	CoRR	2017	DBLP BibTeX RDF
20	Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani	An Innovative Approach for Achieving Composability in Concurrent Systems using Multi-Version Object Based STMs.	CoRR	2017	DBLP BibTeX RDF
20	Saïd Aoues, Michael Di Loreto, Damien Eberard, Wilfrid Marquis-Favre	Hamiltonian systems discrete-time approximation: Losslessness, passivity and composability.	Syst. Control. Lett.	2017	DBLP DOI BibTeX RDF
20	Basit Shafiq, Sameera Ghayyur, Ammar Masood, Zahid Pervaiz, Abdulrahman Almutairi, M. Farrukh Khan, Arif Ghafoor	Composability Verification of Multi-Service Workflows in a Policy-Driven Cloud Computing Environment.	IEEE Trans. Dependable Secur. Comput.	2017	DBLP DOI BibTeX RDF
20	Wang Yi 0001	Towards Customizable CPS: Composability, Efficiency and Predictability.	ICFEM	2017	DBLP DOI BibTeX RDF
20	Marjan Skrobot	On Composability and Security of Game-based Password-Authenticated Key Exchange.		2017	RDF
20	István Vajda	On the analysis of time-aware protocols in universal composability framework.	Int. J. Inf. Sec.	2016	DBLP DOI BibTeX RDF
20	Björn Andersson	Turning compositionality into composability.	SIGBED Rev.	2016	DBLP DOI BibTeX RDF
20	Ran Cohen, Sandro Coretti, Juan A. Garay, Vassilis Zikas	Probabilistic Termination and Composability of Cryptographic Protocols.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
20	Florian Böhl, Dominique Unruh	Symbolic universal composability.	J. Comput. Secur.	2016	DBLP DOI BibTeX RDF
20	Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber 0001, Joseph Sifakis	A general framework for architecture composability.	Formal Aspects Comput.	2016	DBLP DOI BibTeX RDF
20	Douglas Wikström	Simplified Universal Composability Framework.	TCC (A1)	2016	DBLP DOI BibTeX RDF
20	Gaetana Sapienza, Séverine Sentilles, Ivica Crnkovic, Tiberiu Seceleanu	Extra-Functional Properties Composability for Embedded Systems Partitioning.	CBSE	2016	DBLP DOI BibTeX RDF
20	Yohei Murakami, Takao Nakaguchi, Donghui Lin, Toru Ishida 0001	An Ontology for Language Service Composability.	WLSI/OIAF4HLT@COLING	2016	DBLP BibTeX RDF
20	Ran Cohen, Sandro Coretti, Juan A. Garay, Vassilis Zikas	Probabilistic Termination and Composability of Cryptographic Protocols.	CRYPTO (3)	2016	DBLP DOI BibTeX RDF
20	Anh Tuan Nguyen 0001, Hoan Anh Nguyen, Tien N. Nguyen	A large-scale study on repetitiveness, containment, and composability of routines in open-source projects.	MSR	2016	DBLP DOI BibTeX RDF
20	David Rajaratnam, Bernhard Hengst, Maurice Pagnucco, Claude Sammut, Michael Thielscher	Composability in Cognitive Hierarchies.	Australasian Conference on Artificial Intelligence	2016	DBLP DOI BibTeX RDF
20	Dennis Hofheinz, Victor Shoup	GNUC: A New Universal Composability Framework.	J. Cryptol.	2015	DBLP DOI BibTeX RDF
20	Hong Zhu 0002, Ian Bayley	On the Composability of Design Patterns.	IEEE Trans. Software Eng.	2015	DBLP DOI BibTeX RDF
20	Gabriel Fernandez, Jaume Abella 0001, Eduardo Quiñones, Tullio Vardanega, Luca Fossati, Marco Zulianello, Francisco J. Cazorla	Introduction to partial time composability for COTS multicores.	SAC	2015	DBLP DOI BibTeX RDF
20	Yoann Gabillon	User interface composition: operators and composability checking.	IHM	2015	DBLP DOI BibTeX RDF
20	Madhu Saravana Sibi Govindan, Behnam Robatmili, Dong Li, Bertrand A. Maher, Aaron Smith, Stephen W. Keckler, Doug Burger	Scaling Power and Performance viaProcessor Composability.	IEEE Trans. Computers	2014	DBLP DOI BibTeX RDF
20	Brahim Medjahed, Zaki Malik, Salima Benbernou	On the Composability of Semantic Web Services.	Web Services Foundations	2014	DBLP DOI BibTeX RDF
20	Boonserm Kulvatunyou, Evan Wallace, Nenad Ivezic, Yunsu Lee	Toward Manufacturing System Composability Analysis: A Use Case Scenario.	APMS (2)	2014	DBLP DOI BibTeX RDF
20	Andreas Knirsch, Joachim Wietzke, Ronald Moore, Paul Dowland 0001	Connected In-Car Multimedia: Qualities Affecting Composability of Dynamic Functionality.	INC	2014	DBLP BibTeX RDF
20	Christopher Meiklejohn	On the composability of the Riak DT map: expanding from embedded to multi-key structures.	PaPEC@EuroSys	2014	DBLP DOI BibTeX RDF
20	Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber 0001, Joseph Sifakis	A General Framework for Architecture Composability.	SEFM	2014	DBLP DOI BibTeX RDF
20	Hajar Omrana	Vers une Composition Dynamique des Services Web: une approche de Composabilité Offline. (Towards a Dynamic Web Services Composition : An Offline Composability Approach).		2014	RDF
20	Nhan Nguyen Dang	On Composability, Efficient Design and Memory Reclamation of Lock-free Data Structures.		2014	RDF
20	Christopher Oster, Jon Wade	Ecosystem requirements for composability and reuse: An investigation into ecosystem factors that support adoption of composable practices for engineering design.	Syst. Eng.	2013	DBLP DOI BibTeX RDF
20	Dennis Hofheinz, Dominique Unruh, Jörn Müller-Quade	Polynomial Runtime and Composability.	J. Cryptol.	2013	DBLP DOI BibTeX RDF
20	Moris Behnam, Rafia Inam, Thomas Nolte, Mikael Sjödin	Multi-core composability in the face of memory-bus contention.	SIGBED Rev.	2013	DBLP DOI BibTeX RDF
20	Florian Böhl, Dominique Unruh	Symbolic Universal Composability.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
20	Ralf Küsters, Max Tuengerthal	The IITM Model: a Simple and Expressive Model for Universal Composability.	IACR Cryptol. ePrint Arch.	2013	DBLP BibTeX RDF
20	Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Farshad Moradi	Composability Verification of Real Time System Models Using Colored Petri Nets.	UKSim	2013	DBLP DOI BibTeX RDF
20	Leonidas Kosmidis, Eduardo Quiñones, Jaume Abella 0001, Tullio Vardanega, Francisco J. Cazorla	Achieving timing composability with measurement-based probabilistic timing analysis.	ISORC	2013	DBLP DOI BibTeX RDF
20	Andrea Baldovin, Andrea Graziano, Enrico Mezzetti, Tullio Vardanega	Kernel-level time composability for avionics applications.	SAC	2013	DBLP DOI BibTeX RDF
20	Stefan Resch, Andreas Steininger, Christoph Scherrer	Software Composability and Mixed Criticality for Triple Modular Redundant Architectures.	SASSUR@SAFECOMP	2013	DBLP BibTeX RDF