2106 search results - page 186 / 422 » Operational Semantics for DyLPs |
150
click to vote
SEMWEB
2007
Springer
16 years 19 days ago
2007
Springer
Managing uncertainty on the Semantic Web can potentially improve the ontology mapping precision which can lead to better acceptance of systems that operate in this environment. Fur...
149
click to vote
FM
2005
Springer
16 years 1 days ago
2005
Springer
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
151
click to vote
SCAM
2006
IEEE
16 years 16 days ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
177
click to vote
LOPSTR
1997
Springer
15 years 10 months ago
1997
Springer
Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping ineffi...
202
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...