2705 search results - page 367 / 541 » Formal Ontology for Subject |
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...
ICWS
2009
IEEE
14 years 7 months ago
2009
IEEE
Algorithms for composing Web services (WS) traditionally utilize the functional and quality-of-service parameters of candidate services to decide which services to include in the ...
ICDCS
2009
IEEE
14 years 7 months ago
2009
IEEE
In WiFi-based content distribution community infrastructure (CDCI), file servers are deployed in diverse locations around cities, caching popular files interesting to a communit...
WWW
2010
ACM
14 years 5 months ago
2010
ACM
We present a tool for helping XML schema designers to obtain a high quality level for their specifications. The tool allows one to analyze relations between classes of XML docume...
WWW
2010
ACM
14 years 5 months ago
2010
ACM
Clustering and retrieval of web pages dominantly relies on analyzing either the content of individual web pages or the link structure between them. Some literature also suggests t...