We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
Philip Derrin, Kevin Elphinstone, Gerwin Klein, Da...
: The possibility of a direct link between business workflows and the supporting application system is often seen as the critical strength of the SOA paradigm. Though in practice, ...
Abstract--The emerging video coding standard MPEG-4 enables various content-based functionalities for multimedia applications. To support such functionalities, as well as to improv...
Multichannel adaptive information systems can deliver services over different types of networks and access devices. Since different providers may offer either functionally equivale...
Cinzia Cappiello, Paolo Missier, Barbara Pernici, ...
We derive the entropy rate formula for a complex Gaussian random process by using a widely linear model. The resulting expression is general and applicable to both circular and non...