— The use of higher-order functions, as a method of ion and re-use in EC encodings, has been the subject of relatively little research. In this paper we introduce and give motiva...
James McDermott, Jonathan Byrne, John Mark Swaffor...
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...
Abstract. This paper presents parallel approaches to the complete transient numerical analysis of stochastic reward nets (SRNs) for both shared and distributed-memory machines. Par...
Interactive experiences benefit from natural interactions, compelling communication, and ease of implementation. We show how, according to these principles, interactive media arch...
Flavia Sparacino, Glorianna Davenport, Alex Pentla...