There is a notable interest in extending probabilistic generative modeling principles to accommodate for more complex structured data types. In this paper we develop a generative ...
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
: User generated content is a valuable resource voluntarily provided by a growing number of users. As online and traditional businesses increasingly harness this resource the need ...
Most agent-based modeling techniques generate only a single trajectory in each run, greatly undersampling the space of possible trajectories. Swarming agents can explore a great m...
In this paper we present a methodology supporting the definition of data models on basis of a limited set of well-known UML features, thereby allowing these models to be created an...