Sciweavers

5900 search results - page 337 / 1180
» Dependable Systems
Sort
View
179
Voted
ACTAC
2008
94views more  ACTAC 2008»
15 years 6 months ago
Effect Preservation in Transaction Processing in Rule Triggering Systems
Rules provide an expressive means for implementing database behavior: They cope with changes and their ramifications. Rules are commonly used for integrity enforcement, i.e., for ...
Mira Balaban, Steffen Jurk
AMC
2007
177views more  AMC 2007»
15 years 6 months ago
Quadratic stability and stabilization of switched dynamic systems with uncommensurate internal point delays
This paper deals with the quadratic stability and linear state-feedback and output-feedback stabilization of switched delayed linear dynamic systems with, in general, a finite nu...
Manuel de la Sen
ESWA
2008
124views more  ESWA 2008»
15 years 6 months ago
An expert system for dynamic re-coordination of distributed workflows
A persistent problem in the use of automated workflow management systems for inter-organizational workflows has been the need for manual redefinition of coordination points in the...
William L. Kuechler Jr., Vijay K. Vaishnavi
DPD
2006
123views more  DPD 2006»
15 years 6 months ago
Reducing network traffic in unstructured P2P systems using Top-k queries
A major problem of unstructured P2P systems is their heavy network traffic. This is caused mainly by high numbers of query answers, many of which are irrelevant for users. One solu...
Reza Akbarinia, Esther Pacitti, Patrick Valduriez
JMLR
2006
105views more  JMLR 2006»
15 years 6 months ago
Expectation Correction for Smoothed Inference in Switching Linear Dynamical Systems
We introduce a method for approximate smoothed inference in a class of switching linear dynamical systems, based on a novel form of Gaussian Sum smoother. This class includes the ...
David Barber