Search results for "composability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Florian Böhl, Dominique Unruh	Symbolic Universal Composability.	CSF	2013	DBLP DOI BibTeX RDF
20	Luis Sanabria-Russo, Cristina Cano, Boris Bellalta	Localization procedure for randomly deployed WSNs based on the composability of position estimation protocols.	IWCMC	2013	DBLP DOI BibTeX RDF
20	Hessam S. Sarjoughian, James Smith, Gary W. Godding, Mohammed A. Muqsith	Model composability and execution across simulation, optimization, and forecast models.	SpringSim (TMS-DEVS)	2013	DBLP BibTeX RDF
20	Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack	Automated Design of Search with Composability.	AAAI (Late-Breaking Developments)	2013	DBLP BibTeX RDF
20	Andreas Tolk	Interoperability, Composability, and Their Implications for Distributed Simulation: Towards Mathematical Foundations of Simulation Interoperability.	DS-RT	2013	DBLP DOI BibTeX RDF
20	Roland Kammerer, Bernhard Frömel, Roman Obermaisser, Paul Milbredt	Composability and compositionality in CAN-based automotive systems based on bus and star topologies.	INDIN	2013	DBLP DOI BibTeX RDF
20	Max Tuengerthal	Analysis of real-world security protocols in a universal composability framework.		2013	RDF
20	Claudia Szabo, Yong Meng Teo	An analysis of the cost of validating semantic composability.	J. Simulation	2012	DBLP DOI BibTeX RDF
20	Brian Beckman	Why LINQ matters: cloud composability guaranteed.	Commun. ACM	2012	DBLP DOI BibTeX RDF
20	Emmanouela Stachtiari, Anakreon Mentis, Panagiotis Katsaros	Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework.	ICWS	2012	DBLP DOI BibTeX RDF
20	Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Farshad Moradi	Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets.	PADS	2012	DBLP DOI BibTeX RDF
20	Mike Rosulek	Universal Composability from Essentially Any Trusted Setup.	CRYPTO	2012	DBLP DOI BibTeX RDF
20	Hajar Omrana, Fatima-Zahra Belouadha, Ounsa Roudiès	A Composability Model for Efficient Web Service's Connectivity.	INCoS	2012	DBLP DOI BibTeX RDF
20	Fatemeh Saremi, Praveen Jayachandran, Forrest N. Iandola, Md. Yusuf Sarwar Uddin, Tarek F. Abdelzaher, Aylin Yener	On schedulability and time composability of data aggregation networks.	FUSION	2012	DBLP BibTeX RDF
20	Yang Shi, Desen Zhang, Mingyan Xiao, Minghua Lu	SOA-Based Simulation Framework: A Way to Simulation Composability.	CyberC	2012	DBLP DOI BibTeX RDF
20	Houda Benali, Narjès Bellamine Ben Saoud	Towards a component-based framework for interoperability and composability in Modeling and Simulation.	Simul.	2011	DBLP DOI BibTeX RDF
20	Juan A. Garay, Philip D. MacKenzie, Manoj Prabhakaran 0001, Ke Yang	Resource Fairness and Composability of Cryptographic Protocols.	J. Cryptol.	2011	DBLP DOI BibTeX RDF
20	Dafna Kidron, Yehuda Lindell	Impossibility Results for Universal Composability in Public-Key Models and with Fixed Inputs.	J. Cryptol.	2011	DBLP DOI BibTeX RDF
20	Andreas Tolk, John A. Miller 0001	Enhancing simulation composability and interoperability using conceptual/semantic/ontological models.	J. Simulation	2011	DBLP DOI BibTeX RDF
20	Osman Balci, James D. Arthur, William F. Ormsby	Achieving reusability and composability with a simulation conceptual model.	J. Simulation	2011	DBLP DOI BibTeX RDF
20	Serge Fehr, Ran Gelles, Christian Schaffner	Security and Composability of Randomness Expansion from Bell Inequalities	CoRR	2011	DBLP BibTeX RDF
20	Thomas Ristenpart, Hovav Shacham, Thomas Shrimpton	Careful with Composition: Limitations of Indifferentiability and Universal Composability.	IACR Cryptol. ePrint Arch.	2011	DBLP BibTeX RDF
20	Mike Rosulek	Universal Composability from Essentially Any Trusted Setup.	IACR Cryptol. ePrint Arch.	2011	DBLP BibTeX RDF
20	Dennis Hofheinz, Victor Shoup	GNUC: A New Universal Composability Framework.	IACR Cryptol. ePrint Arch.	2011	DBLP BibTeX RDF
20	Benny Akesson, Anca Mariana Molnos, Andreas Hansson 0001, Jude Angelo Ambrose, Kees Goossens	Composability and Predictability for Independent Application Development, Verification, and Execution.	Multiprocessor System-on-Chip	2011	DBLP DOI BibTeX RDF
20	Christina Brzuska, Marc Fischlin, Bogdan Warinschi, Stephen C. Williams	Composability of bellare-rogaway key exchange protocols.	CCS	2011	DBLP DOI BibTeX RDF
20	Everton Carara, Gabriel Marchesan Almeida, Gilles Sassatelli, Fernando Gehm Moraes	Achieving composability in NoC-based MPSoCs through QoS management at software level.	DATE	2011	DBLP DOI BibTeX RDF
20	Edward Jung, Chih-Cheng Hung, Guangzhi Ma, Seonho Choi	A unified design method utilizing decomposability and composability for secure systems.	RACS	2011	DBLP DOI BibTeX RDF
20	Andreas Tolk, Saikou Y. Diallo, Jose J. Padilla, Heber Herencia-Zapana	Model theoretic implications for agent languages in support of interoperability and composability.	WSC	2011	DBLP DOI BibTeX RDF
20	Claudia Szabo, Yong Meng Teo	An Analysis of the Cost of Validating Semantic Composability.	PADS	2011	DBLP DOI BibTeX RDF
20	Adrian Freed, John MacCallum, Andrew Schmeder	Composability for Musical Gesture Signal Processing using new OSC-based Object and Functional Programming Extensions to Max/MSP.	NIME	2011	DBLP DOI BibTeX RDF
20	Hervé Chabanne, Céline Chevalier	Vaudenay's Privacy Model in the Universal Composability Framework: A Case Study.	STA Workshops	2011	DBLP DOI BibTeX RDF
20	Dana Dachman-Soled	On Black-Box Complexity and Adaptive, Universal Composability of Cryptographic Tasks.		2011	DOI RDF
20	The SCIEnce project	Symbolic computation software composability protocol and its implementations.	ACM Commun. Comput. Algebra	2010	DBLP DOI BibTeX RDF
20	Jörn Müller-Quade, Dominique Unruh	Long-Term Security and Universal Composability.	J. Cryptol.	2010	DBLP DOI BibTeX RDF
20	Jörn Müller-Quade, Renato Renner	Composability in quantum cryptography	CoRR	2010	DBLP BibTeX RDF
20	Javier Fernández Briones, M. de Miguel Miguel, Juan Pedro Silva, Alejandro Alonso 0001	On the Requirements for Quality Composability Modeling and Analysis.	ISORC Workshops	2010	DBLP DOI BibTeX RDF
20	Jerónimo Castrillón, Ricardo Velasquez, Anastasia Stulova, Weihua Sheng, Jianjiang Ceng, Rainer Leupers, Gerd Ascheid, Heinrich Meyr	Trace-based KPN composability analysis for mapping simultaneous applications to MPSoC platforms.	DATE	2010	DBLP DOI BibTeX RDF
20	Anuj Gupta 0001, Sandeep Hans, Kannan Srinathan, C. Pandu Rangan	On Composability of Reliable Unicast and Broadcast.	ICDCN	2010	DBLP DOI BibTeX RDF
20	Claudia Szabo, Yong Meng Teo	On Validation of Semantic Composability in Data-Driven Simulation.	PADS	2010	DBLP DOI BibTeX RDF
20	Ozan Kahramanogullari, Ferenc Jordán, Corrado Priami	Composability: Perspectives in Ecological Modeling.	ANB	2010	DBLP DOI BibTeX RDF
20	Jin Heo	Performance composability: An emerging challenge in performance-adaptive systems		2010	RDF
20	Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao	A note on the feasibility of generalised universal composability.	Math. Struct. Comput. Sci.	2009	DBLP DOI BibTeX RDF
20	Dennis Hofheinz, Dominique Unruh, Jörn Müller-Quade	Polynomial Runtime and Composability.	IACR Cryptol. ePrint Arch.	2009	DBLP BibTeX RDF
20	Claudia Szabo, Yong Meng Teo, Simon See	A Time-based Formalism for the Validation of Semantic Composability.	WSC	2009	DBLP DOI BibTeX RDF
20	Takahiro Matsuda 0002, Kanta Matsuura, Jacob C. N. Schuldt	Efficient Constructions of Signcryption Schemes and Signcryption Composability.	INDOCRYPT	2009	DBLP DOI BibTeX RDF	multi-user security, signcryption, generic construction
20	Michael Schulze, Georg Lukas	MLCCA - Multi-Level Composability Check Architecture for Dependable Communication over Heterogeneous Networks.	ETFA	2009	DBLP DOI BibTeX RDF
20	Deepak Mathaikutty, Sandeep K. Shukla	Mining metadata for composability of IPs from SystemC IP library.	Des. Autom. Embed. Syst.	2008	DBLP DOI BibTeX RDF
20	Yusuke Okada, Yoshifumi Manabe, Tatsuaki Okamoto	An optimistic fair exchange protocol and its security in the universal composability framework.	Int. J. Appl. Cryptogr.	2008	DBLP BibTeX RDF
20	Radu Stoleru, John A. Stankovic, Sang Hyuk Son	On composability of localization protocols for wireless sensor networks.	IEEE Netw.	2008	DBLP DOI BibTeX RDF
20	Rafael Dowsley, Jeroen van de Graaf, Jörn Müller-Quade, Anderson C. A. Nascimento	On the Composability of Statistically Secure Bit Commitments.	IACR Cryptol. ePrint Arch.	2008	DBLP BibTeX RDF
20	Akash Kumar 0001, Bart Mesman, Bart D. Theelen, Henk Corporaal, Yajun Ha	Analyzing composability of applications on MPSoC platforms.	J. Syst. Archit.	2008	DBLP DOI BibTeX RDF
20	Antoine Marot, Roel Wuyts	Composability of aspects.	SPLAT@AOSD	2008	DBLP DOI BibTeX RDF
20	Dafna Kidron, Yehuda Lindell	Impossibility Results for Universal Composability in Public-Key Models and with Fixed Inputs.	IACR Cryptol. ePrint Arch.	2007	DBLP BibTeX RDF
20	Sridhar Iyengar	Improving Architectural Composability and Consumability using Communities: Lessons learned from Eclipse, SOA and MDA.	ICCBSS	2007	DBLP DOI BibTeX RDF
20	Gary R. Mayer, Hessam S. Sarjoughian	Complexities of simulating a hybrid agent-landscape model using multi-formalism composability.	SpringSim (2)	2007	DBLP BibTeX RDF	poly-formalism, agents, cellular automata, multi-modeling, multi-formalism
20	Arnold H. Buss, Curtis L. Blais	Composability and component-based discrete event simulation.	WSC	2007	DBLP DOI BibTeX RDF
20	Ioanna Roussaki, Ioannis V. Papaioannou, Dimitrios T. Tsesmetzis, Julia Kantorovitch, Jarmo Kalaoja, Remco Poortinga	Ontology Based Service Modelling for Composability in Smart Home Environments.	AmI Workshops	2007	DBLP DOI BibTeX RDF
20	Jörn Müller-Quade, Dominique Unruh	Long-term Security and Universal Composability.	IACR Cryptol. ePrint Arch.	2006	DBLP BibTeX RDF
20	Donald Sannella, Andrzej Tarlecki	Horizontal Composability Revisited.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
20	David Jonathan Coffin, Christopher D. Clack	gLINC: identifying composability using group perturbation.	GECCO	2006	DBLP DOI BibTeX RDF	genetic algorithms, composition, hierarchical, perturbation, epistasis, linkage learning
20	Deepak Mathaikutty, Sandeep K. Shukla	Mining Metadata for Composability of IPs from SystemC IP Library.	FDL	2006	DBLP BibTeX RDF
20	Donghua Xu	Scalability and Composability Techniques for Network Simulation.		2006	RDF
20	Juan A. Garay, Philip D. MacKenzie, Manoj Prabhakaran 0001, Ke Yang	Resource Fairness and Composability of Cryptographic Protocols.	IACR Cryptol. ePrint Arch.	2005	DBLP BibTeX RDF
20	Dominik Raub, Rainer Steinwandt, Jörn Müller-Quade	On the Security and Composability of the One Time Pad.	SOFSEM	2005	DBLP DOI BibTeX RDF
20	Reto Strobl	Distributed cryptographic protocols in asynchronous networks with universal composability.		2005	RDF
20	Manoj Prabhakaran 0001, Amit Sahai	New Notions of Security: Achieving Universal Composability without Trusted Setup.	IACR Cryptol. ePrint Arch.	2004	DBLP BibTeX RDF
20	Dominik Raub, Rainer Steinwandt, Jörn Müller-Quade	On the Security and Composability of the One Time Pad.	IACR Cryptol. ePrint Arch.	2004	DBLP BibTeX RDF
20	Boaz Barak, Yehuda Lindell, Tal Rabin	Protocol Initialization for the Framework of Universal Composability.	IACR Cryptol. ePrint Arch.	2004	DBLP BibTeX RDF
20	Levent Yilmaz, Tuncer I. Ören	Exploring Agent-Supported Simulation Brokering on the Semantic Web: Foundations for a Dynamic Composability Approach.	WSC	2004	DBLP BibTeX RDF
20	Adam I. Juda, David C. Parkes	An Options-Based Method to Solve the Composability Problem in Sequential Auctions.	AMEC	2004	DBLP DOI BibTeX RDF
20	Roy Friedman, Roman Vitenberg, Gregory V. Chockler	On the composability of consistency conditions.	Inf. Process. Lett.	2003	DBLP DOI BibTeX RDF
20	Yehuda Lindell	General Composition and Universal Composability in Secure Multiparty Computation.	IACR Cryptol. ePrint Arch.	2003	DBLP BibTeX RDF
20	Martin R. Stytz, Sheila B. Banks	An Architecture to Address Uncertain Requirements and Composability for Intelligent Agents in Distributed Simulations.	HIS	2003	DBLP BibTeX RDF
20	Nalini Venkatasubramanian	Safe 'composability' of middleware services.	Commun. ACM	2002	DBLP DOI BibTeX RDF
20	Jens Groth	Evaluating Security of Voting Schemes in the Universal Composability Framework.	IACR Cryptol. ePrint Arch.	2002	DBLP BibTeX RDF
20	Hermann Kopetz	Composability in Distributed Real-Time Systems.	ICDCS	2002	DBLP BibTeX RDF
20	H. Shrikumar	Data composability in Myriad Nets: De-layering in billion node mobile networks (invited talk).	MobiDE	2001	DBLP DOI BibTeX RDF
20	Brett Butler	Simulation Composability for JSIMS.	DIS-RT	1998	DBLP DOI BibTeX RDF
20	Robert Harper 0001, Peter Lee 0001	Research in Programming Languages for Composability, Safety, and Performance.	ACM Comput. Surv.	1996	DBLP DOI BibTeX RDF
20	Tim Anderson, Clare Smith	"Composability": Widening Participation in Music Making for People with Disabilities via Music Software and Controller Solutions.	International ACM Conference on Assistive Technologies	1996	DBLP DOI BibTeX RDF	education, composition, music, visual impairment, MIDI, adaptive technology, physical disability
20	Aris Zakinthinos, E. Stewart Lee	The Composability of Non-Interference.	J. Comput. Secur.	1995	DBLP DOI BibTeX RDF
20	Li Gong, Xiaolei Qian	The complexity and composability of secure interoperation.	S&P	1994	DBLP DOI BibTeX RDF
20	Alberto Coen-Porisini, Richard A. Kemmerer	The Composability of ASTRAL Realtime Specifications.	ISSTA	1993	DBLP DOI BibTeX RDF
20	Catherine Meadows 0001	Using traces based on procedure calls to reason about composability.	S&P	1992	DBLP DOI BibTeX RDF
20	Daryl McCullough	Noninterference and the composability of security properties.	S&P	1988	DBLP DOI BibTeX RDF
20	Fernando Orejas	A Proof System for Verifying Composability of Abstract Implementations.	Semantics of Data Types	1984	DBLP DOI BibTeX RDF
20	Fernando Orejas	Characterizing Composability of Abstract Implementations.	FCT	1983	DBLP DOI BibTeX RDF
20	Kevin C. McCoy	Testing the readability and composability of computer programs: methodology.	ACM SIGPLAN Notices	1974	DBLP DOI BibTeX RDF
19	Jin Heo, Praveen Jayachandran, Insik Shin, Dong Wang 0002, Tarek F. Abdelzaher, Xue Liu 0001	OptiTuner: On Performance Composition and Server Farm Energy Minimization Application.	IEEE Trans. Parallel Distributed Syst.	2011	DBLP DOI BibTeX RDF	Performance composability, energy minimization, data center, software service, server farm
19	Juan A. Garay, Aggelos Kiayias, Hong-Sheng Zhou	A Framework for the Sound Specification of Cryptographic Tasks.	CSF	2010	DBLP DOI BibTeX RDF	security definitions, lattices and partial orders, Cryptographic protocols, universal composability
19	Mike Burmester, Tri Van Le, Breno de Medeiros, Gene Tsudik	Universally Composable RFID Identification and Authentication Protocols.	ACM Trans. Inf. Syst. Secur.	2009	DBLP DOI BibTeX RDF	authentication and key-exchange protocols, universal composability, RFID security
19	Derek Dreyer, Andreas Rossberg	Mixin' up the ML module system.	ICFP	2008	DBLP DOI BibTeX RDF	ML modules, hierarchical composability, mixin modules, type systems, abstract data types, recursive modules
19	Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto	Relationship of Three Cryptographic Channels in the UC Framework.	ProvSec	2008	DBLP DOI BibTeX RDF	Secure Channel (SC), Two-Anonymous Channel (2AC), Direction-Indeterminable Channel (DIC), Universal Composability (UC), Probabilistic Input/Output Automaton (PIOA)
19	Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg Schwenk	Universally Composable Security Analysis of TLS.	ProvSec	2008	DBLP DOI BibTeX RDF	TLS/SSL, secure sessions, key exchange, Universal Composability
19	Kazuki Yoneyama, Kazuo Ohta	Ring signatures: universally composable definitions and constructions.	AsiaCCS	2007	DBLP DOI BibTeX RDF	anonymity, ring signature, universal composability, unforgeability
19	Alessandro Garcia 0001, Thaís Vasconcelos Batista, Awais Rashid, Cláudio Sant'Anna	Driving and managing architectural decisions with aspects.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	modularity, aspect-oriented software development, composability, early aspects, architectural decisions
19	Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	Polynomial Runtime in Simulatability Definitions.	CSFW	2005	DBLP DOI BibTeX RDF	reactive simulatability, universal composability, multi-party computation
19	Horst F. Wedde, Mario Lischka	Modular authorization and administration.	ACM Trans. Inf. Syst. Secur.	2004	DBLP DOI BibTeX RDF	Petri-Nets, Modularity, composability, work-flow
19	Christian Cachin, Reto Strobl	Asynchronous group key exchange with failures.	PODC	2004	DBLP DOI BibTeX RDF	provable security, group communication, universal composability, group key exchange