2678 search results - page 92 / 536 » Operational Semantics of Transactions |
113
click to vote
ICCD
2006
IEEE
16 years 1 months ago
2006
IEEE
—The technique of module-threading utilizes standard DDR DRAM components to build modified memory modules. These modified modules incorporate one or more additional control signa...
113
click to vote
LFP
1990
15 years 5 months ago
1990
d Abstract) V. Breazu-Tannen C. A. Gunter A. Scedrov University of Pennsylvania This paper relates two views of the operational semantics of a language with multiple
133
Voted
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
159
click to vote
OTM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
118
click to vote
GI
2007
Springer
15 years 10 months ago
2007
Springer
: Data validation and cleaning are integral processes of the data quality management cycle. Domain specific knowledge is needed to detect and correct semantic errors. Ontologies c...