Business-to-business electronic contracting has gained attention in recent years as a way to improve traditional contracting practices as well as a paradigm that allows the support of new business models in an enterprise. This paper presents the business case of the Dutch news medium Telegraaf for contracting of advertising spots in its on-line edition. We discuss replacement of current contrac...

This paper introduces the concept of controlled automation as a balanced medium between high-level automated reasoning and low-level primitive tactics in HOL. We created a new tactic that subsumes many existing low-level tactics for logical operations and three new tactics that simplify common uses of term rewriting: definition expansion, simplification, and equational rewriting. To implement t...

Simulation is widely adopted in the study of modern computer networks. In this context, OMNeT++ provides a set of very effective tools that span from the definition of the network, to the automation of simulation execution and quick result representation. However, as network models become more and more complex to cope with the evolution of network systems, the amount of simulation factors, the ...

The major objective of the GARTEUR Action Group on Analysis Techniques for Clearance of Flight Control Laws FM(AG-11) is the improvement of the flight clearance process by increased automation of the tools used for modelbased analysis of the aircraft’s dynamical behaviour. What is finally needed are techniques for faster detection of the worst case combination of parameter values and manoeuvre ...

If automation is to support the competitiveness for a manufacturing company, strategic as well as operational issues need consideration. To best support competitiveness, decisions concerning automation should be treated as one of several decisions in a manufacturing strategy. Furthermore, to fully utilize the advantages from automation, the manufacturing strategy content and process needs refin...

Automation technology is an integral part of chemical plants since the beginning of industrial chemistry. The evolution of process automation has been driven by the specific requirements of process industry and by the innovation cycles of instrumentation technology and control theory. Chemical production plants are still a fruitful and inspiring application field of automation with an enormous ...

We present a computational model for discovering repeated patterns in symbolic representations of monodic music. Patterns are discovered through an incremental adaptive identification along a multi-dimensional parametric space. The difficulties of pattern discovery mainly come from combinatorial redundancies, that our model is able to control efficiently. A specificity relation is defined betwe...

An effective approach for unbalanced three-phase distribution power flow solutions is proposed in this paper. The special topological characteristics of distribution networks have been fully utilized to make the direct solution possible. Two matrices—the bus-injection to branch-current matrix and the branch-current to busvoltage matrix— and a simple matrix multiplication are used to obtain powe...

In this electronic age, we are all knowledge workers, tackling on daily basis the information that flows through our email, file systems, web browsers, calendars, and various other desktop applications. Email has come to be the center of desktop activity for many of us: we set up meetings, exchange documents, manage projects, forward interesting links, track requisitions, and perform a whole ho...

The authors have developed several methods for spatially distributing spectral material in real-time using frequency-domain processing. Applying spectral spatialization techniques to more than two channels introduces a few obstacles, particularly with controllers, visualization and the manipulation of large amounts of control data. Various interfaces are presented which address these issues. We...