4135 search results - page 675 / 827 » Application Modeling for the Semantic Web |
156
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Scientific workflows improve the process of scientific experiments by making computations explicit, underscoring data flow, and emphasizing the participation of humans...
123
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
165
click to vote
CIKM
2009
Springer
15 years 9 months ago
2009
Springer
Biomedical images and captions are one of the major sources of information in online biomedical publications. They often contain the most important results to be reported, and pro...
148
click to vote
JCDL
2009
ACM
15 years 11 months ago
2009
ACM
Recent years have seen the rise of subject-themed digital libraries, such as the NSDL pathways and the Digital Library for Earth System Education (DLESE). These libraries often ne...
150
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...