505 search results - page 30 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
105
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
122
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
100
click to vote
AUTOMATICA
2007
14 years 12 months ago
2007
This paper deals with global disturbance rejection of nonlinear systems. The disturbance is assumed to be sinusoidal with completely unknown phases, amplitude, and frequencies, bu...
114
click to vote
DSRT
2008
IEEE
15 years 1 months ago
2008
IEEE
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...