Learn More
Large-scale software development efforts are increasingly based on product lines, a development process in which developers build the software for similar product families from reusable infrastructure and common application components. Existing software modeling approaches fail to support many product-line development activities. The Cadena platform,(More)
Propp and Wilson's method of coupling from the past allows one to efficiently generate exact samples from attractive statistical distributions (e.g., the ferromagnetic Ising model). This method may be generalized to nonattractive distributions by the use of summary states, as first described by Huber. Using this method, we present exact samples from a(More)
This tool paper gives an overview of Cadena – an integrated environment for building and modeling systems built using the CORBA Component Model (CCM). Cadena provides facilities for defining component types using CCM IDL, specifying dependency information and transition system semantics for these types, assembling systems from CCM components, visualizing(More)
To support the trend toward component-based systems, the Cadena project aims to provide an Eclipse-based development environment that includes support for design, behavior modeling, formal reasoning, and automated code synthesis for systems built using the CORBA Component Model. In this paper, we describe the basic functionality of the Cadena tool, and(More)
Peptoids are an increasingly important class of peptidomimetic foldamers comprised of N-alkylglycine units that have been successfully developed as antimicrobial agents, lung surfactant replacements, enzyme inhibitors, and catalysts, among many other applications. Since peptoid secondary structures can be crucial to their desired functions, significant(More)
Developers of modern distributed, real-time embedded systems are increasingly employing component-based middle-ware frameworks to cope with the ever increasing size and complexity of mission requirements. Frameworks, such as CORBA and its component model (CCM), raise the level of abstraction at which systems are programmed by directly supporting certain(More)
The low-temperature treatment of 1,1-dibromo-1a,9b-cyclopropa[l]phenanthrene (1) with butyllithium and copper(II) chloride in THF affords a dibenzoannellated 1,2,4,6-cycloheptatetraene which undergoes a rare cyclotetramerization. The crystal structure of this "formal" 2 + 2 + 2 + 2 cyclotetramer (2) reveals a central eight-membered ring folded in a zigzag(More)
  • 1