2106 search results - page 22 / 422 » Operational Semantics for MSC'96 |
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
—Using semantic analysis, we present a technique known as semantically driven mutation which can explicitly detect and apply behavioural changes caused by the syntactic changes i...
EPEW
2005
Springer
15 years 3 months ago
2005
Springer
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensatio...
EWSN
2006
Springer
15 years 9 months ago
2006
Springer
We present a framework called Semantic Streams that allows users to pose declarative queries over semantic interpretations of sensor data. For example, instead of querying raw magn...
ICDE
2011
IEEE
14 years 1 months ago
2011
IEEE
— Uncertain data is quite common nowadays in a variety of modern database applications. At the same time, the join operation is one of the most important but expensive operations...
ECMDAFA
2005
Springer
15 years 3 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...