Sciweavers

7530 search results - page 381 / 1506
» Design and Implementation of the YAWL System
Sort
View
WINE
2010
Springer
124views Economy» more  WINE 2010»
15 years 4 months ago
A Novel Approach to Propagating Distrust
Trust propagation is a fundamental topic of study in the theory and practice of ranking and recommendation systems on networks. The Page Rank [9] algorithm ranks web pages by propa...
Christian Borgs, Jennifer T. Chayes, Adam Tauman K...
IJRR
2010
132views more  IJRR 2010»
15 years 4 months ago
LQR-trees: Feedback Motion Planning via Sums-of-Squares Verification
Advances in the direct computation of Lyapunov functions using convex optimization make it possible to efficiently evaluate regions of attraction for smooth nonlinear systems. Her...
Russ Tedrake, Ian R. Manchester, Mark Tobenkin, Jo...
193
Voted
ESORICS
2002
Springer
16 years 6 months ago
Confidentiality-Preserving Refinement is Compositional - Sometimes
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
Thomas Santen, Maritta Heisel, Andreas Pfitzmann
SFP
2003
15 years 8 months ago
Is it time for real-time functional programming?
Abstract This paper explores the suitability of functional languages for programming real-time systems. We study the requirements of real-time systems in general, outline typical l...
Kevin Hammond
ISCAS
1994
IEEE
111views Hardware» more  ISCAS 1994»
15 years 11 months ago
Linear Phase Cosine Modulated Maximally Decimated Filter Banks with Perfect Reconstruction
In this paper a new type of maximally decimated FIR cosine modulated filter banks is proposed. Each analysis and synthesis filter in this filter bank has linear phase. We can desig...
Yuan-Pei Lin, P. P. Vaidyanathan