656 search results - page 58 / 132 » A Formalization of Transition P Systems |
152
click to vote
DAC
1994
ACM
15 years 4 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
104
Voted
HYBRID
2003
Springer
15 years 5 months ago
2003
Springer
We present a hybrid systems solution to the problem of trajectory tracking for a four-wheel steered four-wheel driven mobile robot. The robot is modelled as a non-holonomic dynamic...
98
Voted
GRID
2007
Springer
15 years 6 months ago
2007
Springer
—The functional heterogeneity of non-dedicated computational grids will increase with the inclusion of resources from desktop grids, P2P systems, and even mobile grids. Machine f...
123
Voted
QOSA
2010
Springer
15 years 3 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
84
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their...