2678 search results - page 198 / 536 » Operational Semantics of Transactions |
141
click to vote
CAISE
2009
Springer
16 years 25 days ago
2009
Springer
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
144
click to vote
HICSS
2007
IEEE
16 years 18 days 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...
149
click to vote
QEST
2007
IEEE
16 years 16 days 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,...
146
click to vote
SEMWEB
2007
Springer
16 years 11 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...
141
click to vote
FM
2005
Springer
15 years 11 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...