Search results for "composability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Horst F. Wedde, Mario Lischka	Cooperative role-based administration.	SACMAT	2003	DBLP DOI BibTeX RDF	Petri-Nets, modularity, composability, work-flow
19	Ivan Damgård, Jens Groth	Non-interactive and reusable non-malleable commitment schemes.	STOC	2003	DBLP DOI BibTeX RDF	signature, commitment, one-way function, universal composability, non-malleability
19	Horst F. Wedde, Mario Lischka	Modular authorization.	SACMAT	2001	DBLP DOI BibTeX RDF	modularity, authorization, role-based access control, conflicts, composability, violations
19	Hermann Kopetz	Software engineering for real-time: a roadmap.	ICSE - Future of SE Track	2000	DBLP DOI BibTeX RDF	distributed systems, real-time systems, validation, system architecture, composability
19	John S. Heidemann, Gerald J. Popek	File-System Development with Stackable Layers.	ACM Trans. Comput. Syst.	1994	DBLP DOI BibTeX RDF	file system design, operating system structure, reuse, composability
12	Yehuda Afek, Adam Morrison 0001, Moran Tzafrir	Brief announcement: view transactions: transactional model with relaxed consistency checks.	PODC	2010	DBLP DOI BibTeX RDF	relaxed consistency checks, transactional memory, opacity
12	Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota	FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis.	VLDB J.	2009	DBLP DOI BibTeX RDF	QoS, Web services, Composition, Dependability, Failure, Distributed execution, Transaction model
12	Yukyong Kim, Kyung-Goo Doh	Formal Identification of Right-Grained Services for Service-Oriented Modeling.	WISE	2009	DBLP DOI BibTeX RDF	business process model, graph clustering, UML activity diagram, Service identification, service granularity
12	M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto	Universally composable contributory group key exchange.	AsiaCCS	2009	DBLP DOI BibTeX RDF	universal composition, contributiveness, group key exchange
12	Ralf Küsters, Max Tuengerthal	Computational soundness for key exchange protocols with symmetric encryption.	CCS	2009	DBLP DOI BibTeX RDF	simulation-based security, cryptographic protocols, computational soundness
12	Renuka Sindhgatta, Bikram Sengupta, Karthikeyan Ponnalagu	Measuring the Quality of Service Oriented Design.	ICSOC/ServiceWave	2009	DBLP DOI BibTeX RDF	Service Design Principles, Metrics, Business Process Model, Service Design
12	Seung Geol Choi, Dana Dachman-Soled, Tal Malkin, Hoeteck Wee	Simple, Black-Box Constructions of Adaptively Secure Protocols.	TCC	2009	DBLP DOI BibTeX RDF
12	S. Farhat, Greg Simco, Frank J. Mitropoulos	Refining and reasoning about nonfunctional requirements.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	software engineering, aspect-oriented programming, nonfunctional requirements
12	Chungman Seo, Bernard P. Zeigler	Automating the DEVS modeling and simulation interface to web services.	SpringSim	2009	DBLP BibTeX RDF	dynamic web service invocation, web service execution language, web services, DEVS, WSDL
12	Xueqiang Gong, Jing Liu 0012, Miaomiao Zhang, Jueliang Hu	Formal Analysis of Services Compatibility.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
12	Bruno C. d. S. Oliveira	Modular Visitor Components.	ECOOP	2009	DBLP DOI BibTeX RDF
12	Aggelos Kiayias, Hong-Sheng Zhou	Zero-Knowledge Proofs with Witness Elimination.	Public Key Cryptography	2009	DBLP DOI BibTeX RDF
12	Athanasios Bamis, Andreas Savvides	STFL: a spatio temporal filtering language with applications in assisted living.	PETRA	2009	DBLP DOI BibTeX RDF	human activity monitoring, spatiotemporal filtering, actuation, assisted living
12	Michel Abdalla, Céline Chevalier, David Pointcheval	Smooth Projective Hashing for Conditionally Extractable Commitments.	CRYPTO	2009	DBLP DOI BibTeX RDF
12	Michael Backes 0001, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters	Conditional reactive simulatability.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF
12	Marcos André Gonçalves, Edward A. Fox, Layne T. Watson	Towards a digital library theory: a formal digital library ontology.	Int. J. Digit. Libr.	2008	DBLP DOI BibTeX RDF
12	Marcin Poturalski, Panagiotis Papadimitratos, Jean-Pierre Hubaux	Towards provable secure neighbor discovery in wireless networks.	FMSE	2008	DBLP DOI BibTeX RDF	secure neighbor discovery, relay attack, wireless networks security
12	George Feuerlicht	Design of Composable Services.	ICSOC Workshops	2008	DBLP DOI BibTeX RDF	service assembly, service reuse, Service composition
12	Davide Rossi, Elisa Turrini	EPML: an executable process modeling language for process-aware applications.	SAC	2008	DBLP DOI BibTeX RDF	coordination models and languages, process-aware applications, process modeling
12	Aggelos Kiayias, Hong-Sheng Zhou	Equivocal Blind Signatures and Adaptive UC-Security.	TCC	2008	DBLP DOI BibTeX RDF
12	Zef Hemel, Lennart C. L. Kats, Eelco Visser	Code Generation by Model Transformation.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
12	Mike Burmester, Breno de Medeiros, Rossana Motta	Provably Secure Grouping-Proofs for RFID Tags.	CARDIS	2008	DBLP DOI BibTeX RDF
12	Jiuyun Xu, Stephan Reiff-Marganiec	Towards Heuristic Web Services Composition Using Immune Algorithm.	ICWS	2008	DBLP DOI BibTeX RDF
12	Martin Danek, Jiri Kadlec, Roman Bartosinski, Lukas Kohout	Increasing the level of abstraction in FPGA-based designs.	FPL	2008	DBLP DOI BibTeX RDF
12	Xiaoyu Zhang 0006, Denis Gracanin	Service-Oriented-Architecture based framework for multi-user virtual environments.	WSC	2008	DBLP DOI BibTeX RDF
12	Moris Behnam, Insik Shin, Thomas Nolte, Mikael Nolin	An Overrun Method to Support Composition of Semi-independent Real-Time Components.	COMPSAC	2008	DBLP DOI BibTeX RDF	Logical resource sharing, Real time systems, Composition, Hierarchical scheduling
12	Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors	Polymorphic embedding of dsls.	GPCE	2008	DBLP DOI BibTeX RDF	pure embedding, domain-specific languages, extensibility, compositionality, algebraic semantics, scala
12	Heiko Pfeffer, David Linner, Stephan Steglich	Dynamic Adaptation of Workflow Based Service Compositions.	ICIC (1)	2008	DBLP DOI BibTeX RDF
12	Nishanth Chandran, Vipul Goyal, Amit Sahai	New Constructions for UC Secure Computation Using Tamper-Proof Hardware.	EUROCRYPT	2008	DBLP DOI BibTeX RDF
12	Tal Moran, Gil Segev 0001	David and Goliath Commitments: UC Computation for Asymmetric Parties Using Tamper-Proof Hardware.	EUROCRYPT	2008	DBLP DOI BibTeX RDF
12	Katarzyna Rycerz, Marian Bubak, Peter M. A. Sloot	Dynamic Interactions in HLA Component Model for Multiscale Simulations.	ICCS (2)	2008	DBLP DOI BibTeX RDF	distributed multiscale simulation, Grid computing, Components, HLA, problem solving environments
12	Michel Abdalla, Dario Catalano, Céline Chevalier, David Pointcheval	Efficient Two-Party Password-Based Key Exchange Protocols in the UC Framework.	CT-RSA	2008	DBLP DOI BibTeX RDF
12	Yanyan Wang, Antonio Carzaniga, Alexander L. Wolf	Four enhancements to automateddistributed system experimentation methods.	ICSE	2008	DBLP DOI BibTeX RDF	experiment automation, distributed systems, planetlab, emulab
12	Tiziana Catarci, Febo Cincotti, Massimiliano de Leoni, Massimo Mecella, Giuseppe Santucci	Smart Homes for All: Collaborating Services in a for-All Architecture for Domotics.	CollaborateCom	2008	DBLP DOI BibTeX RDF
12	Yevgeniy Dodis, Victor Shoup, Shabsi Walfish	Efficient Constructions of Composable Commitments and Zero-Knowledge Proofs.	CRYPTO	2008	DBLP DOI BibTeX RDF
12	Jeffrey M. Voas	A Baker's Dozen: 13 Software Engineering Challenges.	IT Prof.	2007	DBLP DOI BibTeX RDF
12	Théodore Marescaux, Erik Brockmeyer, Henk Corporaal	The Impact of Higher Communication Layers on NoC Supported MP-SoCs.	NOCS	2007	DBLP DOI BibTeX RDF
12	Robin E. Bloomfield, Bev Littlewood, David Wright 0001	Confidence: Its Role in Dependability Cases for Risk Assessment.	DSN	2007	DBLP DOI BibTeX RDF
12	Tal Moran, Moni Naor	Split-ballot voting: everlasting privacy with distributed trust.	CCS	2007	DBLP DOI BibTeX RDF
12	Saurabh Mittal, José Luis Risco-Martín, Bernard P. Zeigler	DEVS-based simulation web services for net-centric T&E.	SCSC	2007	DBLP BibTeX RDF	DEVSML, SOADEVS, T&E, web services, XML, DEVS
12	G. R. Gangadharan, Michael Weiss 0001, Vincenzo D'Andrea, Renato Iannella	Service License Composition and Compatibility Analysis.	ICSOC	2007	DBLP DOI BibTeX RDF
12	Madhukar Anand, Sebastian Fischmeister, Insup Lee 0001	Composition Techniques for Tree Communication Schedules.	ECRTS	2007	DBLP DOI BibTeX RDF
12	Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao	A Note on Universal Composable Zero Knowledge in Common Reference String Model.	TAMC	2007	DBLP DOI BibTeX RDF
12	Catriona M. Kennedy, Georgios Theodoropoulos 0001, Edward Ferrari, Peter Lee 0003, Chris Skelcher	Towards an Automated Approach to Dynamic Interpretation of Simulations.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
12	David Kensche, Christoph Quix, Yong Li, Matthias Jarke	Generic Schema Mappings.	ER	2007	DBLP DOI BibTeX RDF
12	Sander Evers, Maarten M. Fokkinga, Peter M. G. Apers	Composable Markov Building Blocks.	SUM	2007	DBLP DOI BibTeX RDF
12	Xianfei Tang, Changjun Jiang, Zhijun Ding	Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models.	ICWS	2007	DBLP DOI BibTeX RDF
12	Suresh Jagannathan	Weaving Atomicity Through Dynamic Dependence Tracking.	IPDPS	2007	DBLP DOI BibTeX RDF
12	Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong	A UML-Based Design Framework for Time-Triggered Applications.	RTSS	2007	DBLP DOI BibTeX RDF
12	Jonathan Katz	Universally Composable Multi-party Computation Using Tamper-Proof Hardware.	EUROCRYPT	2007	DBLP DOI BibTeX RDF
12	Wei-Jen Li, Salvatore J. Stolfo, Angelos Stavrou, Elli Androulaki, Angelos D. Keromytis	A Study of Malcode-Bearing Documents.	DIMVA	2007	DBLP DOI BibTeX RDF	Sandbox Diversity, Intrusion Detection, N-gram
12	Hasnain A. Mandviwala, Umakishore Ramachandran, Kathleen Knobe	Capsules: Expressing Composable Computations in a Parallel Programming Model.	LCPC	2007	DBLP DOI BibTeX RDF
12	Erik Elmroth, Francisco Hernández-Rodriguez, Johan Tordsson, Per-Olov Östberg	Designing Service-Based Resource Management Tools for a Healthy Grid Ecosystem.	PPAM	2007	DBLP DOI BibTeX RDF
12	Upsorn Praphamontripong, Swapna S. Gokhale, Aniruddha S. Gokhale, Jeffrey G. Gray	Performance Analysis of a Middleware Demultiplexing Pattern.	HICSS	2007	DBLP DOI BibTeX RDF
12	Dong Liu 0016, Ralph Deters	BUST: enabling scalable service orchestration.	Infoscale	2007	DBLP DOI BibTeX RDF	performance, SOA, scalability, service, multithreading, BPEL, queueing model, service orchestration
12	Peter Csaba Ölveczky, José Meseguer 0001, Carolyn L. Talcott	Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols
12	George Feuerlicht	Service Aggregation Using Relational Operations on Interface Parameters.	ICSOC Workshops	2006	DBLP DOI BibTeX RDF	service design, relational operations, service aggregation
12	William D. Gropp	Where Does MPI Need to Grow?	PVM/MPI	2006	DBLP DOI BibTeX RDF
12	Akash Kumar 0001, Bart Mesman, Henk Corporaal, Jef L. van Meerbergen, Yajun Ha	Global Analysis of Resource Arbitration for MPSoC.	DSD	2006	DBLP DOI BibTeX RDF
12	Ran Canetti, Jonathan Herzog	Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols.	TCC	2006	DBLP DOI BibTeX RDF
12	Douglas Wikström, Jens Groth	An Adaptively Secure Mix-Net Without Erasures.	ICALP (2)	2006	DBLP DOI BibTeX RDF
12	Clemens A. Szyperski	Composing with Style - Components Meet Architecture.	QoSA	2006	DBLP DOI BibTeX RDF
12	Neila Ben Lakhal, Takashi Kobayashi 0001, Haruo Yokota	Dependability and Flexibility Centered Approach for Composite Web Services Modeling.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
12	Alex Breuer, Peter Gottschling, Douglas P. Gregor, Andrew Lumsdaine	Effecting parallel graph eigensolvers through library composition.	IPDPS	2006	DBLP DOI BibTeX RDF
12	Cheikh Ba, Mirian Halfeld Ferrari Alves, Martin A. Musicante	Composing Web Services with PEWS: A Trace-Theoretical Approach.	ECOWS	2006	DBLP DOI BibTeX RDF
12	Tal Moran, Moni Naor	Polling with Physical Envelopes: A Rigorous Analysis of a Human-Centric Protocol.	EUROCRYPT	2006	DBLP DOI BibTeX RDF
12	Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh	On the (Im-)Possibility of Extending Coin Toss.	EUROCRYPT	2006	DBLP DOI BibTeX RDF
12	Uirá Kulesza, Vander Alves, Alessandro F. Garcia 0001, Carlos José Pereira de Lucena, Paulo Borba	Improving Extensibility of Object-Oriented Frameworks with Aspect-Oriented Programming.	ICSR	2006	DBLP DOI BibTeX RDF
12	Patricia López Martínez, Julio L. Medina, José M. Drake	Real-Time Modelling of Distributed Component-Based Applications.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
12	Awais Rashid, Ana Moreira 0001	Domain Models Are NOT Aspect Free.	MoDELS	2006	DBLP DOI BibTeX RDF
12	Michael Backes 0001, Markus Dürmuth, Dennis Hofheinz, Ralf Küsters	Conditional Reactive Simulatability.	ESORICS	2006	DBLP DOI BibTeX RDF
12	Craig Gentry, Philip D. MacKenzie, Zulfikar Ramzan	A Method for Making Password-Based Key Exchange Resilient to Server Compromise.	CRYPTO	2006	DBLP DOI BibTeX RDF
12	Jianchun Fan, Subbarao Kambhampati	A snapshot of public web services.	SIGMOD Rec.	2005	DBLP DOI BibTeX RDF	World Wide Web (WWW)
12	Laura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi	An OWL-S based approach to express grid services coordination.	SAC	2005	DBLP DOI BibTeX RDF
12	Anupam Datta, Ralf Küsters, John C. Mitchell, Ajith Ramanathan	On the Relationships Between Notions of Simulation-Based Security.	TCC	2005	DBLP DOI BibTeX RDF
12	Debmalya Biswas, K. Vidyasankar	Spheres of Visibility.	ECOWS	2005	DBLP DOI BibTeX RDF
12	Hessam S. Sarjoughian, Dongping Huang, Gary W. Godding, Karl G. Kempf, Wenlin Wang, Daniel E. Rivera, Hans D. Mittelmann	Hybrid discrete event simulation with model predictive control for semiconductor supply-chain manufacturing.	WSC	2005	DBLP DOI BibTeX RDF
12	Robert G. Bartholet, David C. Brogan, Paul F. Reynolds Jr.	The computational complexity of component selection in simulation reuse.	WSC	2005	DBLP DOI BibTeX RDF
12	Hung-Ying Tyan, Ahmed Sobeih, Jennifer C. Hou	Towards Composable and Extensible Network Simulation.	IPDPS	2005	DBLP DOI BibTeX RDF
12	Dennis Hofheinz, Dominique Unruh	On the Notion of Statistical Security in Simulatability Definitions.	ISC	2005	DBLP DOI BibTeX RDF
12	Mårten Trolin	A Universally Composable Scheme for Electronic Cash.	INDOCRYPT	2005	DBLP DOI BibTeX RDF
12	Debmalya Biswas, Krishnamurthy Vidyasankar	Monitoring for Hierarchical Web Services Compositions.	TES	2005	DBLP DOI BibTeX RDF
12	Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha	A formal model for reasoning about adaptive QoS-enabled middleware.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	meta-object models, quality-of-service, multimedia, reflection, actors, theoretical foundations, Middleware services
12	Olivier Caron, Bernard Carré, Alexis Muller, Gilles Vanwormhoudt	An OCL Formulation of UML2 Template Binding.	UML	2004	DBLP DOI BibTeX RDF
12	Juan A. Garay	Efficient and Universally Composable Committed Oblivious Transfer and Applications.	TCC	2004	DBLP DOI BibTeX RDF
12	Shin-ya Katsumata	A Generalisation of Pre-logical Predicates to Simply Typed Formal Systems.	ICALP	2004	DBLP DOI BibTeX RDF
12	George T. Edwards, Gan Deng, Douglas C. Schmidt, Aniruddha S. Gokhale, Balachandran Natarajan	Model-Driven Configuration and Deployment of Component Middleware Publish/Subscribe Services.	GPCE	2004	DBLP DOI BibTeX RDF	Real-time Publish/subscribe Service, Component Middleware, Model-based Systems, CORBA Component Model
12	Mira Mezini, Klaus Ostermann	A Comparison of Program Generation with Aspect-Oriented Programming.	UPP	2004	DBLP DOI BibTeX RDF
12	Cheng Xie, Wenzhi Chen, Jiaoying Shi	Pcanel: a model driven component framework.	SMC (6)	2004	DBLP DOI BibTeX RDF
12	J. Mark Pullen, Ryan Brunton, Donald P. Brutzman, David Drake, Michael R. Hieb, Katherine L. Morse, Andreas Tolk	Using Web Services to Integrate Heterogeneous Simulations in a Grid Environment.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
12	Nikolaos Georgantas, Sonia Ben Mokhtar, Ferda Tartanoglu, Valérie Issarny	Semantics-Aware Services for the Mobile Computing Environment.	WADS	2004	DBLP DOI BibTeX RDF
12	Brahim Medjahed, Athman Bouguettaya, Ahmed K. Elmagarmid	Composing Web services on the Semantic Web.	VLDB J.	2003	DBLP DOI BibTeX RDF	Ontology, Web services, Semantic Web, Service composition
12	Dimane Mpoeleng, Paul D. Ezhilchelvan, Neil A. Speirs	From Crash Tolerance to Authenticated Byzantine Tolerance: A Structured Approach, the Cost and Benefits.	DSN	2003	DBLP DOI BibTeX RDF	Authenticated Byzantine failures, fail- signal, CORBA, group communication, self-checking, total order, State machine replication
12	Barry G. Silverman, Michael Johns, Ransom Weaver, Joshua Mosley	Authoring Edutainment Stories for Online Players (AESOP): Introducing Gameplay into Interactive Dramas.	International Conference on Virtual Storytelling	2003	DBLP DOI BibTeX RDF	videogame generator, stealth learning, agent ap- proach, training, interactive drama, role-playing games
12	Ross J. Anderson	What We Can Learn from API Security.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF