2173 search results - page 255 / 435 » An operational semantics for skeletons |
115
click to vote
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
AAAI
2008
15 years 3 months ago
2008
In several applications of logic programming and Transaction Logic, such as, planning, trust management and independent Semantic Web Services, an action might produce incomplete f...
118
Voted
BMCBI
2010
15 years 26 days ago
2010
Background: Biomedical research is set to greatly benefit from the use of semantic web technologies in the design of computational infrastructure. However, beyond well defined res...
93
Voted
ENTCS
2008
15 years 24 days ago
2008
In the framework of graph transformation, simulation rules define the operational behavior of visual models. Moreover, it has been shown already how to construct animation rules f...
133
click to vote
FGCS
2007
15 years 21 days ago
2007
Abstract. E-Science Semantic Grids can often be thought of as dynamic collection of semantic subgrids where each subgrid is a collection of modest number of services that assembled...