Sciweavers

5384 search results - page 263 / 1077
» Open Standards Requirements
Sort
View
135
Voted
VLDB
1990
ACM
83views Database» more  VLDB 1990»
15 years 10 months ago
A Formal Approach to Recovery by Compensating Transactions
Compensating transactions are intended to handle situations where it is required to undo either committed or uncommitted transactions that affect other transactions, without resor...
Henry F. Korth, Eliezer Levy, Abraham Silberschatz
SCS
2003
15 years 8 months ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
Rob Weaver, Jane Fenn, Tim Kelly
TROB
2010
174views more  TROB 2010»
15 years 1 months ago
Force Tracking With Feed-Forward Motion Estimation for Beating Heart Surgery
The manipulation of fast moving, delicate tissues in beating heart procedures presents a considerable challenge to the surgeon. A robotic force tracking system can assist the surge...
Shelten G. Yuen, Douglas P. Perrin, Nikolay V. Vas...
WWW
2009
ACM
16 years 1 months ago
StatSnowball: a statistical approach to extracting entity relationships
Traditional relation extraction methods require pre-specified relations and relation-specific human-tagged examples. Bootstrapping systems significantly reduce the number of tr...
Jun Zhu, Zaiqing Nie, Xiaojiang Liu, Bo Zhang, Ji-...
STACS
1992
Springer
15 years 10 months ago
Secure Commitment Against A Powerful Adversary
abstract Rafail Ostrovskyy Ramarathnam Venkatesanz Moti Yungx Secure commitment is a primitive enabling information hiding, which is one of the most basic tools in cryptography. S...
Rafail Ostrovsky, Ramarathnam Venkatesan, Moti Yun...