187 search results - page 16 / 38 » On the characterizations of (S, N)-implications |
CODES
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a new scheme for dynamic voltage and frequency scaling (DVS) for processing multimedia streams on architectures with restricted buffer sizes. The main advantage of our ...
CAV
1999
Springer
14 years 1 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
CCGRID
2004
IEEE
14 years 1 months ago
2004
IEEE
In this paper we investigate the utilization of nondedicated, opportunistic resources in a desktop environment to provide statistical assurances to a class of QoS sensitive, soft ...
SIAMCO
2002
13 years 9 months ago
2002
Abstract. We analyze nonlinear cascades in which the driven subsystem is integral input-tostate stable (ISS), and we characterize the admissible integral ISS gains for stability. T...
APN
2009
Springer
14 years 4 months ago
2009
Springer
Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given Quality of Service (QoS...