281 search results - page 47 / 57 » Comparing operational models of name-passing process calculi |
102
click to vote
ACL
2010
14 years 9 months ago
2010
Weighted tree transducers have been proposed as useful formal models for representing syntactic natural language processing applications, but there has been little description of ...
137
click to vote
SIGMETRICS
2012
ACM
13 years 2 months ago
2012
ACM
Energy efficiency and power capping remain growing concerns in server systems. Online applications continue to evolve with new features and dynamic clientdirected processing, res...
DEXA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Fine-grained lock protocols should allow for highly concurrent transaction processing on XML document trees, which is addressed by the taDOM lock protocol family enabling...
WWW
2006
ACM
16 years 13 days ago
2006
ACM
On the investigation of linguistic techniques used in ontology matching, we propose a new idea of virtual documents to pursue a cost-effective approach to linguistic matching in t...
122
click to vote
ICAC
2009
IEEE
15 years 6 months ago
2009
IEEE
The complexity of large computer systems has raised unprecedented challenges for system management. In practice, operators often collect large volume of monitoring data from system...