Multi-agent systems have become increasingly mature, but their appearance does not make the traditional OO approach obsolete. On the contrary, OO methodologies can benefit from the principles and tools designed for agent systems. The Agent/Rule/Class (ARC) framework is proposed as an approach that builds agents upon traditional OO system components and makes use of business rules to dictate age...

Context-sensitive points-to analysis is the current most scalable technology for constructing a precise control-flow graph for large object-oriented programs. One appealing feature of this framework is that it is parametric thus allowing to trade time for precision. Typical instances of this framework are k-CFAs and Agesen’s Cartesian Product Algorithm (CPA). It is common sense that k-CFAs (for...

Abstract A detailed chemical kinetic model for oxidation of CH3CHO at intermediate to high temperature and elevated pressure has been developed evaluated by comparing predictions novel high-pressure flow reactor experiments as well shock tube ignition delay measurements jet-stirred data from literature. The were conducted with a slightly lean CH3CHO/O2 mixture highly diluted in N2 600–900 K pre...

This report presents the OO-H solution to the Conference Review System case study proposed in the IWWOST’01. We first introduce the main concepts of OO-H. We then perform an analysis of the case study, and establish the functional requirements each actor’s interface should fulfil. We also present the UML use-case and class diagrams that constitute the basis on which OO-H defines its own models....

We investigate the existence of positive principal eigenvalues of the problem —Au(x) = lg(x)u for x e R" ; u(x) —* 0 as x —> oo where the weight function g changes sign on R" . It is proved that such eigenvalues exist if g is negative and bounded away from 0 at oo or if n > 3 and \g(x)\ is sufficiently small at oo but do not exist if n = 1 or 2 and fRn g(x)dx > 0 .

In object-oriented (OO) languages, the ability to encapsulate software concerns of the dominant decomposition in objects is the key to reaching high modularity and loss of complexity in large scale designs. However, distributed memory parallelism tends to break modularity and encapsulation of concerns in OO languages, since a parallel computation cannot be encapsulated in an individual object. ...

Relationships have been an essential component of OO design since the 90s but OO languages still do not support firstclass relationships. Hence, programmers must implement relationships in an ad-hoc fashion which results in unnecessarily complex code. We have developed a new model for relationships in OO which distinguishes tuples and relationships (mutable sets of tuples) and supports both as ...

as x -^ oo, where x is the independent variable and the prime denotes d/dx. The functions q, rx,..., rn_x are defined on an interval [X, oo) and are all nowhere zero there.We shall write (1.1) in terms of a first-order system, and consequently we require no more differentiability on q and the rk than that they are C \X, oo). There is no assumption that these functions are necessarily real-value...