2550 search results - page 422 / 510 » The Meaning of Open Standards |
PODS
2004
ACM
15 years 11 months ago
2004
ACM
Several studies have demonstrated the effectiveness of the wavelet decomposition as a tool for reducing large amounts of data down to compact wavelet synopses that can be used to ...
115
click to vote
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
MOBISYS
2007
ACM
15 years 10 months ago
2007
ACM
Smartphones have recently become increasingly popular because they provide "all-in-one" convenience by integrating traditional mobile phones with handheld computing devi...
101
click to vote
POPL
2010
ACM
15 years 8 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
XSYM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The eXtensible Markup Language (XML) provides a powerful and flexible means of encoding and exchanging data. As it turns out, its main advantage as an encoding format (n...