850 search results - page 92 / 170 » Globalization and Offshoring of Software |
FOSSACS
2010
Springer
15 years 4 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
WECWIS
2009
IEEE
15 years 4 months ago
2009
IEEE
— The challenges of establishing a global information and document exchange system are described in the case study of Jet Aviation. The context is the improvement of its spare pa...
ASIAMS
2008
IEEE
15 years 4 months ago
2008
IEEE
Geo-informatics is a field of science that combines geodetic and spatial information processing methods with computing hardware and software technologies. Research being conducted...
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
We present preliminary results of a project to create a tuning system that adaptively optimizes programs to the underlying execution platform. We will show initial results from tw...
EDOC
2007
IEEE
15 years 4 months ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...