2678 search results - page 421 / 536 » Operational Semantics of Transactions |
125
click to vote
JCS
2010
15 years 12 days ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
146
click to vote
JELIA
2010
Springer
15 years 12 days ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
PVLDB
2010
15 years 11 days ago
2010
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
174
click to vote
SAS
2010
Springer
15 years 10 days ago
2010
Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
182
click to vote
ICAI
2010
14 years 12 months ago
2010
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...