Abstract. The OMG’s Model-Driven Architecture focusses on the evolution and integration of applications across heterogeneous middleware platforms. Presently available instances o...
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
While reasoners are year after year scaling up in the classical, time invariant domain of ontological knowledge, reasoning upon rapidly changing information has been neglected or f...
Emanuele Della Valle, Stefano Ceri, Davide Frances...
Abstract— We propose a cognitively motivated vertically layered two-pass agent architecture for realizing responsiveness, reactivity, and pro-activeness of smart objects, smart e...
Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They extend state transition diagrams with notons of hier...
A. S. M. S. Amaral, R. R. Veloso, Nandamudi Lankal...