2106 search results - page 72 / 422 » Operational Semantics for MSC'96 |
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
SEMWEB
2007
Springer
15 years 3 months 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...
FM
2005
Springer
15 years 3 months 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...
SCAM
2006
IEEE
15 years 3 months 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...