10038 search results - page 1741 / 2008 » Model Checking for Managers |
180
click to vote
DEBU
1999
15 years 5 months ago
1999
This paper presents a brief overview of data management using the Extensible Markup Language (XML). It presents the basics of XML and the DTDs used to constrain XML data, and desc...
258
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
The quality of a local search engine, such as Google and Bing Maps, heavily relies on its geographic datasets. Typically, these datasets are obtained from multiple sources, e.g., ...
176
Voted
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract: Existing multicore systems already provide deep levels of thread parallelism. Hybrid programming models and composability of parallel libraries are very active areas of r...
230
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Phyloinformatic analyses involve large amounts of data and metadata of complex structure. Collecting, processing, analyzing, visualizing and summarizing these data and...
275
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Aneka is an Application Platform-as-a-Service (Aneka PaaS) for Cloud Computing. It acts as a framework for building customized applications and deploying them on either public or ...