349 search results - page 26 / 70 » Transactional Computation: Overview and Discussion |
130
click to vote
ICDAR
2009
IEEE
15 years 3 months ago
2009
IEEE
Manual reconstruction of ripped-up documents can be a very difficult and time-consuming task. This paper discusses a semi-automatic toolset that can be used for reconstructing rip...
128
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
e, which has been published in the Extended Abstracts of the conference proceedings. The second chapter is a summary of the position papers that has been issued just before the wor...
173
click to vote
DEBS
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents our experiences with building of the soft state XSiena publish/subscribe system. We provide a brief overview of our approach towards the soft state in publish/...
123
click to vote
CONCUR
1989
Springer
15 years 10 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
138
click to vote
LCN
1995
IEEE
15 years 9 months ago
1995
IEEE
The waiting tame and queue length characteristics of isochronous, synchronous and asynchronous traffic at the gateway between FDDI-11 and A T M networks are analyzed. A generalize...