Search results for "composability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström	Towards Aspectual Component-Based Development of Real-Time Systems.	RTCSA	2003	DBLP DOI BibTeX RDF
12	Razvan Diaconescu	Behavioural Specification for Hierarchical Object Composition.	FMCO	2003	DBLP DOI BibTeX RDF
12	Michael González Harbour, José C. Palencia Gutiérrez	Response Time Analysis for Tasks Scheduled under EDF within Fixed Priorities.	RTSS	2003	DBLP DOI BibTeX RDF
12	Michael Backes 0001, Christian Cachin, Reto Strobl	Proactive secure message transmission in asynchronous networks.	PODC	2003	DBLP DOI BibTeX RDF	secure communication, proactive security
12	Dennis Hofheinz, Jörn Müller-Quade, Rainer Steinwandt	Initiator-Resilient Universally Composable Key Exchange.	ESORICS	2003	DBLP DOI BibTeX RDF	formal cryptography, universalcomposition, cryptographic protocols, key exchange
12	Johann Oberleitner, Thomas Gschwind, Mehdi Jazayeri	The Vienna Component Framework Enabling Composition Across Component Models.	ICSE	2003	DBLP DOI BibTeX RDF
12	Clemens A. Szyperski	Component Technology - What, Where, and How?.	ICSE	2003	DBLP DOI BibTeX RDF
12	Federico Bergenti	Formalizing the Reusability of Software Agents.	ESAW	2003	DBLP DOI BibTeX RDF
12	Juha Plosila, Tiberiu Seceleanu	Specification of an Asynchronous On-chip Bus.	ICFEM	2002	DBLP DOI BibTeX RDF
12	Jan Hannemann, Gregor Kiczales	Design pattern implementation in Java and aspectJ.	OOPSLA	2002	DBLP DOI BibTeX RDF	design patterns, aspect-oriented programming
12	Moti Yung	Crypto-integrity.	ASIACRYPT	2002	DBLP DOI BibTeX RDF
12	Joseph Sifakis	Scheduler Modeling Based on the Controller Synthesis Paradigm.	FTRTFT	2002	DBLP DOI BibTeX RDF
12	Yasushi Shinjo, Kotaro Eiraku, Atsushi Suzuki, Kozo Itano, Calton Pu	Enhancing Access Control with SysGuard, Reference Monitor Supporting Portable and Composable Kernel Module.	PRDC	2002	DBLP DOI BibTeX RDF
12	Ivan Damgård, Jesper Buus Nielsen	Perfect Hiding and Perfect Binding Universally Composable Commitment Schemes with Constant Expansion Factor.	CRYPTO	2002	DBLP DOI BibTeX RDF
12	Munindar P. Singh	Services and Situations.	IEEE Internet Comput.	2001	DBLP DOI BibTeX RDF
12	Nalini Venkatasubramanian, Carolyn L. Talcott, Gul Agha	A Formal Model for Reasoning about Adaptive QoS-Enabled Middleware.	FME	2001	DBLP DOI BibTeX RDF	meta-object models, object-oriented applications, distributed systems, multimedia, theoretical foundations
12	Bo Zhang, Ke Ding, Jing Li	An XML-message Based Architecture Description Language and Architectural Mismatch Checking.	COMPSAC	2001	DBLP DOI BibTeX RDF	XML message, architectural mismatch, Software architecture, interface, architecture description language
12	Siddhartha Chatterjee, Erin Parker, Philip J. Hanlon, Alvin R. Lebeck	Exact Analysis of the Cache Behavior of Nested Loops.	PLDI	2001	DBLP DOI BibTeX RDF
12	Boleslaw K. Szymanski, Gilbert Chen	A Component Model for Discrete Event Simulation.	PPAM	2001	DBLP DOI BibTeX RDF
12	Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. Mang	The Control of Synchronous Systems, Part II.	CONCUR	2001	DBLP DOI BibTeX RDF
12	Peter Csaba Ölveczky, Mark Keaton, José Meseguer 0001, Carolyn L. Talcott, Steve Zabele	Specification and Analysis of the AER/NCA Active Network Protocol Suite in Real-Time Maude.	FASE	2001	DBLP DOI BibTeX RDF
12	Michael V. Capps, Don McGregor, Donald P. Brutzman, Michael Zyda	NPSNET-V: A New Beginning for Dynamically Extensible Virtual Environments.	IEEE Computer Graphics and Applications	2000	DBLP DOI BibTeX RDF
12	Emre Kiciman, Armando Fox	Using Dynamic Mediation to Integrate COTS Entities in a Ubiquitous Computing Environment.	HUC	2000	DBLP DOI BibTeX RDF	Automatic Mediation, Ad-hoc Applications, Ubiquitous Computing, Service Composition, Software Infrastructure
12	Hessam S. Sarjoughian, Bernard P. Zeigler	Models and representation of their ownership.	WSC	2000	DBLP DOI BibTeX RDF
12	Janos Sztipanovits	Software for Embedded Systems: Opportunities and Challenges.	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF
12	Karine Altisen, Gregor Gößler, Joseph Sifakis	A Methodology for the Construction of Scheduled Systems.	FTRTFT	2000	DBLP DOI BibTeX RDF
12	Reino Kurki-Suonio	Component and Interface Refinement in Closed-System Specifications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
12	Luca Cardelli	Wide Area Computation.	ICALP	1999	DBLP DOI BibTeX RDF
12	Hermann Kopetz	Elementary versus Composite Interfaces in Distributed Real-Time Systems.	ISADS	1999	DBLP DOI BibTeX RDF	temporal accuracy of data, Real-time system, interface, system design, time-triggered, client-server model
12	Juan Manuel Murillo, Juan Hernández Núñez, Fernando Sánchez, Luis A. Álvarez	Coordinated Roles: Promoting Re-usability of Coordinated Active Objects Using Event Notification Protocols.	COORDINATION	1999	DBLP DOI BibTeX RDF
12	Christian Ebner	Efficiency evaluation of a time-triggered architecture for vehicle body-electronics.	ECRTS	1998	DBLP DOI BibTeX RDF
12	Aamod Sane, Ashish Singhai, Roy H. Campbell	Framework Design for End-to-End Optimization.	ECOOP	1998	DBLP DOI BibTeX RDF
12	T. S. E. Maibaum	Conservative Extensions, Interpretations Between Theories and All That!	TAPSOFT	1997	DBLP DOI BibTeX RDF
12	Michael VanHilst, David Notkin	Decoupling Change from Design.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
12	Qi Shi 0001, Ning Zhang	A General Approach to Evaluation of Secure Systems.	COMPSAC	1995	DBLP DOI BibTeX RDF	composable security properties, secure systems, matrices
12	Daryl McCullough	A Hookup Theorem for Multilevel Security.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	user inferences, hookup theorem, trusted multilevel systems, hookup property, secure restrictive composite system, software engineering, security policy, security of data, multilevel security, inference control, composable, security property, restrictiveness, sensitive information
12	Guozhu Dong	On the Composition and Decomposition of Datalog Program Mappings.	ICDT	1988	DBLP DOI BibTeX RDF
12	Axel Poigné, Josef Voss	On the Implementation of Abstract Data Types by Programming Language Constructs.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
12	T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso	Logical Specification and Implementation.	FSTTCS	1984	DBLP DOI BibTeX RDF
12	Hans-Dieter Ehrich	On Realization and Implementation.	MFCS	1981	DBLP DOI BibTeX RDF