Sciweavers

2940 search results - page 94 / 588
» Behavioral Constraints for Services
Sort
View
ICRA
2008
IEEE
127views Robotics» more  ICRA 2008»
14 years 4 months ago
Continuous control law from unilateral constraints
— The control approaches based on tasks, and particularly based on a hierarchy of tasks, enable to build complex behaviors with some nice properties of robustness and portability...
Nicolas Mansard, Oussama Khatib
CP
2001
Springer
14 years 2 months ago
A Temporal Concurrent Constraint Programming Calculus
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
Catuscia Palamidessi, Frank D. Valencia
NJC
2002
109views more  NJC 2002»
13 years 10 months ago
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
Mogens Nielsen, Catuscia Palamidessi, Frank D. Val...
ISCAS
2006
IEEE
106views Hardware» more  ISCAS 2006»
14 years 4 months ago
A novel approach to L2-sensitivity minimization of digital filters subject to L2-scaling constraints
Abstract— This paper proposes a novel approach to L2sensitivity minimization problem of state-space digital filters subject to L2-scaling constraints. The proposed approach redu...
Shunsuke Yamaki, Masahide Abe, Masayuki Kawamata
ESOP
1999
Springer
14 years 2 months ago
Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
Andreas Podelski, Witold Charatonik, Martin Mü...