Sciweavers

577 search results - page 48 / 116
» Computing Rational Bisectors
Sort
View
ICAC
2005
IEEE
14 years 1 months ago
Self-Adjusting Trust and Selection for Web Services
Service-oriented architectures enable services to be dynamically selected and integrated at runtime, thus enabling system flexibility and adaptiveness—autonomic attributes that...
E. Michael Maximilien, Munindar P. Singh
IWSAS
2001
Springer
14 years 11 days ago
Exercising Qualitative Control in Autonomous Adaptive Survivable Systems
We seek to construct autonomous adaptive survivable systems that use active trust management to adapt their own behavior in the face of compromises in the computational environment...
Jon Doyle, Michael McGeachie
IEEECGIV
2009
IEEE
13 years 5 months ago
Nonlinear Image Interpolation Using Adaptive Conic Blending Spline
Abstract--A new adaptive rational image interpolation algorithm is proposed. For a natural image, according to the difference information of the local pixel gray value in the verti...
Huanxi Zhao, Chuan Sun, Keshou Wu
LPAR
2001
Springer
14 years 11 days ago
Boolean Functions for Finite-Tree Dependencies
Several logic-based languages, such as Prolog II and its successors, SICStus Prolog and Oz, offer a computation domain including rational trees. Infinite rational trees allow fo...
Roberto Bagnara, Enea Zaffanella, Roberta Gori, Pa...
MFCS
2001
Springer
14 years 11 days ago
Automata on Linear Orderings
We consider words indexed by linear orderings. These extend finite, (bi-)infinite words and words on ordinals. We introduce finite automata and rational expressions for these w...
Véronique Bruyère, Olivier Carton