10352274
The AMPERE Algorithm - Area-Based Masking with the Performance Equation
The18th International Florida Artificial Intelligence Research Symposium (FLAIRS-2005), May 16th-18th, Clearwater Beach, Florida
16348358
Agent Chameleons: Virtual Agents Real Intelligence
Agent Chameleons provides virtual agents powered by real intelligence, delivering next generation autonomic entities that can seamlessly migrate, mutate and evolve on their journey between and within physical and digital information spaces.
34039430
A model of information systems development project performance
. Performance in information systems development (ISD) projects can be critical to business success. But, while project performance has been the subject of much debate, there has been little empirical research into its determinants. A survey of IS projects in the UK and New Zealand is analysed to test hypotheses concerning performance in terms of both project completion and budget (time-cost) variances. Subsequently, a secondary analysis of the findings is used to build a more complete empirical model of project performance. The paper helps to develop the theory of IS development project performance and also has significant implications for practice. Discussion of the findings highlights the importance of project team dynamics, risk management, senior management support for strategic projects and user participation in ensuring successful IS project performance.
14876854
Security principles for public-resource modeling research
Large-scale distributed computing projects have many security concerns due to their public and often "open" nature. Climateprediction.net (CPDN) is taking the concept of public-resource, high-throughput grid computing a stage further, by using it for a major piece of modeling research. The aim is to harness the spare CPU cycles of potentially millions of individual users' PCs to run a massive ensemble of climate simulations. In doing so it has been faced with a range of security and integrity issues beyond those encountered by previous projects but likely also to confront similar initiatives in the future. This paper introduces the project and its software architecture, and outlines a threat model for such situations, including threats to participants, threats to the experiment and threats to other stakeholders. It goes on to discuss how these threats have been addressed, with the procedures presented expected to form a valuable foundation for an increasing number of similar projects.
5379517
Packing Steiner Trees: Further Facets
Abstract In this paper we continue the investigations in [3] for the Steiner tree packing polyhedron. We present several new classes of valid inequalities and give sufficient (and necessary) conditions for these inequalities to be facet-definining. It is intended to incorporate these inequalities into an existing cutting plane algorithm that is applicable to practical problems arising in the design of electronic curcuits.
16635941
Packing Steiner trees: a cutting plane algorithm and computational results
In this paper we describe a cutting plane algorithm for the Steiner tree packing problem. We use our algorithm to solve some switchbox routing problems of VLSI-design and report on our computational experience. This includes a brief discussion of separation algorithms, a new LP-based primal heuristic and implementation details. The paper is based on the polyhedral theory for the Steiner tree packing polyhedron developed in our companion paper (this issue) and meant to turn this theory into an algorithmic tool for the solution of practical problems.
34718551
Encoding W: A Logic for Z in 2OBJ
A prototype proof system for “\(\mathcal{W}\): A Logic for Z” has been produced using the 2OBJ metalogical theorem-prover. 2OBJ permits an encoding which is very similar in structure to that of \(\mathcal{W}\), and the details are presented here. Like \(\mathcal{W}\)the encoding assumes that all its inputs are well-typed. The structure of the encoding is enhanced by a meta-rule on the lifting of proof rules and tactics. There is some discussion of how tactics can make \(\mathcal{W}\)more easily usable.