Abstract. A description of a novel domain-independent framework that automatically generates and fades scaffolding supports for task-oriented learning within exploratory environmen...
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
—This work presents chemical communication techniques for nanorobots foraging in fluid environments relevant for medical applications. Unlike larger robots, viscous forces and ra...
Adriano Cavalcanti, Tad Hogg, Bijan Shirinzadeh, H...
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...