Sciweavers

1134 search results - page 34 / 227
» Composing Tests from Examples
Sort
View
ICDE
2008
IEEE
129views Database» more  ICDE 2008»
15 years 5 months ago
Testing mobile agent platforms over the air
— Mobile agents are considered a suitable technology to develop applications for wireless environments with limited communication capabilities. Thus, they offer interesting advan...
Oscar Urra, Sergio Ilarri, Eduardo Mena
CBSE
2009
Springer
15 years 5 months ago
Control Encapsulation: A Calculus for Exogenous Composition of Software Components
Abstract. In current software components models, components do not encapsulate control, and are composed by connection mechanisms which pass control from component to component. Co...
Kung-Kiu Lau, Mario Ornaghi
CDC
2009
IEEE
138views Control Systems» more  CDC 2009»
15 years 3 months ago
Synthesis of a global asymptotic stabilizing feedback law for a system satisfying two different sector conditions
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...
Vincent Andrieu, Christophe Prieur, Sophie Tarbour...
RIVF
2003
15 years 12 days ago
Complex Systems Modeling
—This paper addresses the simulation of the dynamics of complex systems by using hierarchical graph and multi-agent system. A complex system is composed of numerous interacting p...
Christophe Lecerf, Thi Minh Luan Nguyen
ENTCS
2008
112views more  ENTCS 2008»
14 years 11 months ago
Residual for Component Specifications
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...
Jean-Baptiste Raclet