2212 search results - page 371 / 443 » Coordinating Open Distributed Systems |
VLDB
2008
ACM
14 years 10 months ago
2008
ACM
With the commoditization of digital devices, personal information and media sharing is becoming a key application on the pervasive Web. In such a context, data annotation rather th...
ICFP
2006
ACM
14 years 10 months ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
PPOPP
2010
ACM
14 years 7 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
EDOC
2007
IEEE
14 years 4 months ago
2007
IEEE
Models have been used in various engineering fields to help managing complexity and represent information in difbstraction levels, according to specific notations and stakeholde...
CCGRID
2006
IEEE
14 years 4 months ago
2006
IEEE
During the past decade, the scientific community has witnessed the rapid accumulation of gene sequence data and data related to physiology and biochemistry of organisms. Bioinform...