In this paper, design and implementation issues of the real-time interactive multimedia distance learning system, which supports the W3C SMIL standard for presenting the real-time...
Workflows have emerged as a common tool for scientists to express their computational analyses. While there are a multitude of visual data flow editors for workflow construction, ...
One of the main limitations in using ontologies in modern information systems is due to the fact that the design and maintenance of ontologies is a complex activity that requires ...
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...