3441 search results - page 455 / 689 » Parallel Logic Programming Systems |
139
click to vote
PODC
1997
ACM
15 years 9 months ago
1997
ACM
Thispaperdescribesanewschemeforguaranteeingthattransactions in a client/server system observe consistent state while they are running. The scheme is presented in conjunction with ...
176
click to vote
CONCUR
1997
Springer
15 years 9 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
114
Voted
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Aligning IT to business needs is still one of the most important concerns for senior management. The message of Business and IT Alignment (BIA) is logical and undisputed, but impl...
126
Voted
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
143
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...