This paper reports on a 2.5-year case study of the North American utility industry’s effort to create a business-to-business (B2B) electronic marketplace (e-marketplace)--Pegasus. The utilities formed Pegasus in order to improve utility industry procurement practices by better integrating all aspects of the supply chain. The paper discusses the e-marketplace, evolving strategies, technology and...

Abstract Continuous invariants are an important component in deductive verification of hybrid and continuous systems. Just like discrete used to reason about correctness systems without having unroll their loops, differential equations solve them. Automatic generation remains one the biggest practical challenges automation formal proofs safety for There at present many disparate methods availab...

A new thermionic cathode has been developed and installed for use on the PEGASUS plane wave transformer injector. The novel design of the LaB6 cathode allows for thermionic emission as well as photoinjector operation. Both test-stand measurements and in situ operational experience are reported.

In the context of the needs of the Semantic Web and Knowledge Management, we consider what the requirements are of ontologies. The ontology as an artifact of knowledge representation is in danger of becoming a Chimera. We present a series of facts concerning the foundations on which automated ontology construction must build. We discuss a number of different functions that an ontology seeks to ...

Business and scientific workflow management systems (WfMS) offer different features to their users because they are developed for different application areas with different requirements. Research is currently being done to extend business WfMSs by functionality that meets requirements of scientists and scientific applications. The idea is to bring the strengths of business WfMSs to eScience. Th...

We present long-slit spectroscopy, B and R bandpass imaging, and 21 cm observations of a sample of early-type galaxies in nearby clusters which are known to be either in a star-forming phase or to have had star formation which recently terminated. From the long-slit spectra, obtained with the Blanco 4-m telescope, we find that emission lines in the star-forming cluster galaxies are significantl...