10707 search results - page 452 / 2142 » Designing executable abstractions |
178
click to vote
ADBIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
169
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...
173
Voted
CINQ
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...
140
click to vote
ERCIMDL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper reports on an evaluation carried out on behalf of the Scottish Library and Information Council (SLIC) of a Scottish Executive initiative to fund a year's ...
146
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...