2678 search results - page 184 / 536 » Operational Semantics of Transactions |
307
click to vote
CIDR
2011
14 years 9 months ago
2011
Megastore is a storage system developed to meet the requirements of today’s interactive online services. Megastore blends the scalability of a NoSQL datastore with the convenien...
136
Voted
ESOP
2009
Springer
16 years 28 days ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
172
click to vote
RR
2007
Springer
16 years 7 days ago
2007
Springer
This paper presents an extension to the Semantic Web Rule Language and a methodology to enable advanced mathematical support in SWRL rules. This solution separates mathematical and...
177
click to vote
WCRE
2005
IEEE
15 years 11 months ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
166
click to vote
XSYM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...