o address the need for canonical abstraction, we've adopted software engineering's concept of signatures--a technique for defining software patterns or invariant procedur...
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
Abstract--We describe a vibratory part transport mechanism that utilizes both static and dynamic friction to linearly transport parts in a horizontal direction. We derive a horizon...
The performance of a Java Virtual Machine (JVM) interpreter running on a very long instruction word (VLIW) processor can be improved by means of pipelining. While one bytecode is i...
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...