: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
The Sesame modeling and simulation framework aims at efficient system-level design space exploration of embedded multimedia systems. A primary objective of Sesame is the ion at mu...
Mark Thompson, Andy D. Pimentel, Simon Polstra, Ca...
We present the design and implementation of a digital image capture and distribution system that supports remote ultrasound ezaminations and, in particular, real-time diagnosis fo...
John W. Sublett, Bert J. Dempsey, Alfred C. Weaver
This paper reports the principles behind designing a tagset to cover Russian morphosyntactic phenomena, modifications of the core tagset, and its evaluation. The tagset and associ...
: A growing demand for distributed and decentralized software, together with an increasing inherent complexity of these systems challenges traditional software engineering practice...