851 search results - page 60 / 171 » Managing (Requirements) Evolutions of High Assurance Systems |
110
click to vote
EL
2008
15 years 1 months ago
2008
CDS/ISIS is an Integrated Storage and Information retrieval System of United Nations Educational Scientific and Cultural Organization (UNESCO), which is widely used for managing bi...
107
click to vote
BTW
2005
Springer
15 years 7 months ago
2005
Springer
: Optimizers in modern DBMSs utilize a cost model to choose an efficient query execution plan (QEP) among all possible ones for a given query. The accuracy of the cost estimates de...
130
click to vote
ANLP
1994
15 years 2 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
103
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
Virtual machines are a promising technology to overcome some of the problems found in current Grid infrastructures, like heterogeneity, performance partitioning or application iso...
143
click to vote
DASFAA
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. Fine-grained lock protocols with lock modes and lock granules adjusted to the various XML processing models, allow for highly concurrent transaction processing on XML tre...