2902 search results - page 364 / 581 » Simple Local Models for Complex Dynamical Systems |
148
click to vote
TACAS
2001
Springer
15 years 7 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
135
click to vote
ICRA
2006
IEEE
15 years 9 months ago
2006
IEEE
— One of features of soft object manipulation is motion during deformation of the soft body. We analyze the stability of soft object manipulation by simultaneous control of motio...
115
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
We present a tool for performance modeling of Service Oriented Architectures (SOAs). As mission-critical use of whole-ofgovernment SOAs become pervasive, the capability to model a...
131
click to vote
GCC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Due to the complexity and uncertainties, the engineering process requires dynamic collaborations among the heterogeneous systems and human interactions. In this paper, we...
214
click to vote
CMSB
2011
Springer
14 years 3 months ago
2011
Springer
From the phosphorylation state of a molecule to the volume of a cell, parameters are ubiquitous in systems biology. At the same time, most models involve static or dynamic compart...