SINTEF search

Software companies have to identify and manage numerous linked processes to function effectively. We describe how a medium-sized software company improved their software development methodology through implementing an electronic process guide. We discuss how involvement in creating an electronic process...

...annotation of COMPARA, currently the largest parallel corpora which includes Portuguese. We describe the motivation, give a glimpse of the results so far, and the way the corpus is being annotated, as well as mention some studies based on it....

...principal argument for the mainstreaming of disability within development cooperation has been that poverty and disability are closely interlinked. Furthermore, because disabled people, especially women and children, comprise a large proportion of the poorest of the poor, Millennium Development Goals (MDGs)...

...for many different domains and thus for domain specific languages. In this chapter we discuss how domain specific languages can benefit from standardized generic languages to cope with abstraction needs. A successful combination will keep the domain specific language simple and its implementation maintainable...

...under refinement and transformation. To this end we define a schema for the specification of secure information flow properties and show that all security properties defined in the schema are preserved by a notion of refinement. Refinement is a process that requires human guidance and is in general not...

...standard is designed to offer simple configuration, flexible installation and easy access of instrument data, and at the same time, ensure robust and reliable communications. In this paper, we first look closely into the specifications and present a comprehensive overview of the standard by summarizing the...

A particularly efficient flow solver can be obtained by combining a recent mixed multiscale finite-element method for computing pressure and velocity fields with a streamline method for computing fluid transport. This multiscale-streamline method has shown to be a promising approach for fast flow simulations...