1655 search results - page 93 / 331 » State, Event, Time and Diagram in System Modeling |
131
click to vote
FMICS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
163
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this article, we investigate real-time estimation of flow states, average velocity and stage (water depth), in open channels using the measurements obtained from Lagrangian sens...
144
click to vote
GLOBECOM
2006
IEEE
16 years 6 days ago
2006
IEEE
— In presence of multiple access interference, the performance of impulse radio system is affected by collisions with other users. In this paper we evaluate the bit error probabi...
149
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
A survivable agent system depends on the incorporation of many recovery features. However, the optimal use of these features requires the ability to assess the actual state of the...
158
click to vote
DATE
2008
IEEE
16 years 19 days ago
2008
IEEE
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timin...