2935 search results - page 524 / 587 » An Integrated Approach to High Integrity Software Verificati... |
125
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The rapidly rising cost and environmental impact of energy consumption in data centers has become a multi-billion dollar concern globally. In response, the IT Industry is actively...
148
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
134
click to vote
SPIESR
2004
15 years 5 months ago
2004
Visual information retrieval (VIR) is a research area with more than 300 scientific publications every year. Technological progress lets surveys become out of date within a short ...
127
click to vote
ECIS
2000
15 years 5 months ago
2000
This paper presents a Web-based, database-oriented set of applications, namely "Public Information" and "Electronic Voting", to support information services (ex...
134
click to vote
JSW
2008
15 years 4 months ago
2008
Dynamic system reconfiguration techniques are presented that can enable the systematic evolution of software systems due to unanticipated changes in specification or requirements. ...