Sciweavers

349 search results - page 26 / 70
» Transactional Computation: Overview and Discussion
Sort
View
62
Voted
ICDAR
2009
IEEE
14 years 7 months ago
Semi-automatic Forensic Reconstruction of Ripped-up Documents
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...
Patrick de Smet
CHI
2006
ACM
15 years 10 months ago
The many faces of consistency in cross-platform design
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...
Kai Richter, Jeffrey Nichols, Krzysztof Gajos, Ahm...
DEBS
2009
ACM
15 years 2 months ago
Soft state in the XSiena publish/subscribe system
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/...
Zbigniew Jerzak, Christof Fetzer, Robert Wojcicki
61
Voted
CONCUR
1989
Springer
15 years 1 months ago
Using the Temporal Logic RDL for Design Specifications
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...
Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
LCN
1995
IEEE
15 years 1 months ago
Interconnection of FDDI-II networks through an ATM backbone - An analysis
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...
Ramanagopal V. Vogety, Yashwant K. Malaiya, Anura ...