Parametric trace expressions are a formalism expressly designed for parametric runtime verification (RV) which has been introduced and successfully employed in the context of runtime monitoring of multiagent systems. ...
详细信息
The paper describes the extension of a hypermedia class library with music as a new component type, but will focus on the development of a software wrapper object as an application programmers interface to the Csound ...
详细信息
CC+PLU is an object-oriented parallel programming language that uses parallel composition, atomic functions, and single-assignment variables to express concurrency. We show that this programming paradigm is equivalent...
详细信息
ISBN:
(纸本)0818656026
CC+PLU is an object-oriented parallel programming language that uses parallel composition, atomic functions, and single-assignment variables to express concurrency. We show that this programming paradigm is equivalent to several traditional imperative communication and synchronization models, namely monitors and asynchronous channels. Furthermore, the object-oriented nature of CC+PLU provides an ideal framework for integrating these paradigms. We specify, implement, and formally verify a collection of libraries that integrates these traditional models with CC+PLU.
In this paper, we discuss the development of a robust object-oriented C++ implementation of a CMAC variant called the LOMR (Locally scoped and Multiple Resolution) CMAC. The LOMR CMAC architecture is a combination of ...
详细信息
In this paper, we discuss the development of a robust object-oriented C++ implementation of a CMAC variant called the LOMR (Locally scoped and Multiple Resolution) CMAC. The LOMR CMAC architecture is a combination of a finite number of Albus-motivated CMAC architectures which can be defined on any desired region of the input space with any resolution we choose.
Both object-oriented and constraint technologies are powerful paradigms. Combining these two different but complementary paradigms can give a more powerful paradigm thanks to the merging of their properties. This pape...
详细信息
Both object-oriented and constraint technologies are powerful paradigms. Combining these two different but complementary paradigms can give a more powerful paradigm thanks to the merging of their properties. This paper presents the structure of a constraint oriented model: the OOC model. This model allows, on the one hand, the representation and the definition of constraints and, on the other hand, the management and resolution of these constraints. More precisely, this model essentially deals with generic constraints which are positioned on a set of components and refer to a given composite object.
An object-oriented software system has been developed for the numerical modelling of physical processes. This software system is able to perform calculations using multiple coupled domains with in each domain a differ...
详细信息
An object-oriented software system has been developed for the numerical modelling of physical processes. This software system is able to perform calculations using multiple coupled domains with in each domain a different equation to be solved using the most appropriate method. All examples in this paper are in the field of electrochemical engineering and are restricted to the solution of the Laplace equation with the boundary element and the finite element method.
RPDE3 is a framework for building environments. Great emphasis has been placed on supporting changes of various kinds, such as extensions to existing environments and creation of new environments by adapting existing ...
详细信息
When we apply the mechanisms of an object-oriented language, we form concrete architectures over some domain. Over time, we identify recurring patterns and transform the concrete architectures into more general archit...
详细信息
We present an object-oriented animation system for terrain models using triangular subdivision stochastic surfaces. This system reuses computations made for previous frames by maintaining a forest of objects. The surf...
详细信息
ISBN:
(纸本)0791809439
We present an object-oriented animation system for terrain models using triangular subdivision stochastic surfaces. This system reuses computations made for previous frames by maintaining a forest of objects. The surface decomposes itself as required by the viewing parameters. Texture generated for previous images which has passed out of the field of view is recursively pruned, just as new texture is recursively generated. Thus the memory requirements of the technique remain approximately constant over time.
In object-oriented languages like Smalltalk-80, browsers and i ipeciors are used to provide insight into the static world of objects and their relations, debuggers are used to inspect and modify states of computation....
详细信息
暂无评论