This paper provides an overview of SANDS (Specialized Active Networking for Distributed Simulation), a DARPA-ITO sponsored research project that is using active networking to deve...
Steve Zabele, M. Dorsch, Zihui Ge, Ping Ji, Mark K...
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
Development of today's advanced applications is increasingly being accomplished using multi-faceted modeling. For example, the areas of simulation and workflow modeling genera...
Rather than create a control system from scratch each time we build a new robot creature, we would like to generate control systems automatically. I have implemented an algorithm ...