2550 search results - page 304 / 510 » The Meaning of Open Standards |
ASM
2010
ASM
15 years 2 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Applications composed of multiple parallel libraries perform poorly when those libraries interfere with one another by obliviously using the same physical cores, leading to destru...
CIKM
2009
Springer
15 years 2 months ago
2009
Springer
Discovering links between different data items in a single data source or across different data sources is a challenging problem faced by many information systems today. In partic...
ERCIMDL
2009
Springer
15 years 2 months ago
2009
Springer
We report on the implementation of a software infrastructure for preservation actions, carried out in the context of the European Integrated Project Planets – the Planets Interop...
115
click to vote
FAST
2010
15 years 1 months ago
2010
Cloud computing promises large-scale and seamless access to vast quantities of data across the globe. Applications will demand the reliability, consistency, and performance of a t...