Sciweavers

1700 search results - page 135 / 340
» Specifying and implementing refactorings
Sort
View
126
Voted
FM
2005
Springer
99views Formal Methods» more  FM 2005»
15 years 10 months ago
Semantics of BPEL4WS-Like Fault and Compensation Handling
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...
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Z...
127
Voted
FPL
2005
Springer
115views Hardware» more  FPL 2005»
15 years 10 months ago
Statistical Power Estimation for FPGA
This article presents a power estimation tool integrated with an FPGA design flow. It is able to estimate total and individual-node average power consumption for combinational blo...
Elias Todorovich, Fabian Angarita, Javier Valls, E...
RELMICS
2005
Springer
15 years 10 months ago
Control-Flow Semantics for Assembly-Level Data-Flow Graphs
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
Wolfram Kahl, Christopher Kumar Anand, Jacques Car...
UML
2005
Springer
15 years 10 months ago
Automated Analysis of Natural Language Properties for UML Models
It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exace...
Sascha Konrad, Betty H. C. Cheng
VLDB
2005
ACM
133views Database» more  VLDB 2005»
15 years 10 months ago
Caching with 'Good Enough' Currency, Consistency, and Completeness
SQL extensions that allow queries to explicitly specify data quality requirements in terms of currency and consistency were proposed in an earlier paper. This paper develops a dat...
Hongfei Guo, Per-Åke Larson, Raghu Ramakrish...