10038 search results - page 1934 / 2008 » Model Checking for Managers |
WWW
2005
ACM
16 years 1 months ago
2005
ACM
The recent evolution of Internet, driven by the Web services technology, is extending the role of the Web from a support of information interaction to a middleware for B2B interac...
115
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
We present a Semantic Web application that we call CS AKTive Space1 . The application exploits a wide range of semantically heterogeneous and distributed content relating to Compu...
97
Voted
WWW
2002
ACM
16 years 1 months ago
2002
ACM
Query expansion has long been suggested as an effective way to resolve the short query and word mismatching problems. A number of query expansion methods have been proposed in tra...
104
click to vote
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Cloud Computing has been envisioned as the next-generation architecture of IT Enterprise. It moves the application software and databases to the centralized large data centers, whe...
86
Voted
KDD
2009
ACM
16 years 1 months ago
2009
ACM
In this study, we formalize a multi-focal learning problem, where training data are partitioned into several different focal groups and the prediction model will be learned within...