The support of process enactment through the use of workflow management systems has gained considerable attention within the last few years. We develop a classification framework c...
A new scheme of data-driven segmentation is proposed, which is based on detection of object boundary, and volumetric pattern reconstruction as implicit function by using the detect...
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
Functional, instruction-based self-testing of microprocessors has recently emerged as an effective alternative or supplement to other testing approaches, and is progressively adop...
Andreas Apostolakis, Dimitris Gizopoulos, Mihalis ...
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...