We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
Recent progress on nanodevices, such as carbon nanotubes and nanowires, points to promising directions for future circuit design. However, nanofabrication techniques are not yet m...
This paper describes the idea of embodied data objects. Using this concept, everyday objects can be used to represent bits and bytes of active information. These data objects can ...
Manas Tungare, Pardha S. Pyla, Pradyut Bafna, Vlad...
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...
The Goal Based Requirements Analysis Tool GBRAT is designed to support goal-based requirements analysis. The tool provides procedural support for the identi cation, elaboration, r...