1326 search results - page 198 / 266 » Semantic Coherence in Software Engineering |
148
click to vote
AC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
136
click to vote
FOSSACS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
156
click to vote
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Executable schema mappings between XML schemas are essential to support numerous data management tasks such as data exchange, data integration and schema evolution. The n...
138
click to vote
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
We present an online framework to capture and recover from program failures and prevent them from occurring in the future through safe execution perturbations. The perturbations a...
165
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the r...