Successful """tiprocessor system design for complex realtime embedded applications requires powerful and comprehensive. yet cost-effective. productive. and maintain...
Fred Rose, Todd Carpenter, Sanjaya Kumar, John Sha...
A design rationale (DR) is a representation of the reasoning which has been invested in a design [1]. This short paper describes the use of the QOC Design Space Analysis approach ...
Simon Buckingham Shum, Allan MacLean, Justin Forde...
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
The aim of this paper is to show a method that is able to detect inconsistencies in the reasoning carried out by a deliberative agent. The agent is supposed to be provided with a h...
The paper describes the evolution of an Interdisciplinary Concurrent Design Methodology (ICDM) and the metrics used to compare four generations of wearable computer artifacts prod...
Asim Smailagic, Daniel P. Siewiorek, Drew Anderson...