1153 search results - page 182 / 231 » Compositional Specification Calculus for Information Systems... |
123
Voted
ELPUB
2006
ACM
15 years 9 months ago
2006
ACM
Among the new possibilities that the Semantic Web has enabled, the authoring task is considered as a key moment for semantic representation of knowledge to enhance publishing need...
128
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
In today's Web, many functionality-wise similar Web services are offered through heterogeneous interfaces (operation definitions) and business protocols (ordering constraints...
144
Voted
ICS
2010
Tsinghua U.
15 years 6 months ago
2010
Tsinghua U.
Existing supercomputers have hundreds of thousands of processor cores, and future systems may have hundreds of millions. Developers need detailed performance measurements to tune ...
121
Voted
NAR
2007
15 years 3 months ago
2007
The immune system protects organisms from foreign proteins, peptide epitopes and a multitude of chemical compounds. Among these, haptens are small molecules, eliciting an immune r...
133
click to vote
JCDL
2004
ACM
15 years 9 months ago
2004
ACM
The number of research papers available is growing at a staggering rate. Researchers need tools to help them find the papers they should read among all the papers published each y...