Virtual prototyping with 3D drawing programs provides a means of rapidly developing system concepts and analyzing them for form, fit, logistics, human factors integration, and gen...
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
Tools and environments to aid developers in producing software have existed, in one form or another, since the early days of computer programming. They are becoming increasingly c...
This paper develops a formal model of process migration that describes programs, processes, and the migration of those processes within a migration realm. A migration realm is a g...
Aric D. Blumer, Henning S. Mortveit, Cameron D. Pa...