6308 search results - page 251 / 1262 » Modeling Urgency in Timed Systems |
173
click to vote
TPDS
2010
15 years 4 months ago
2010
—In this paper we propose and evaluate an overlay distribution algorithm for P2P, chunk-based, streaming systems over forest-based topologies. In such systems, the stream is divi...
163
click to vote
TNN
2008
15 years 6 months ago
2008
Aging effects, environmental changes, thermal drifts, and soft and hard faults affect physical systems by changing their nature and behavior over time. To cope with a process evolu...
182
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
271
click to vote
CVPR
2011
IEEE
15 years 28 days ago
2011
IEEE
The majority of existing pedestrian trackers concentrate on maintaining the identities of targets, however systems for remote biometric analysis or activity recognition in surveill...
164
click to vote
FDL
2007
IEEE
16 years 27 days ago
2007
IEEE
The forthcoming OMG UML Profile for Modeling and Analysis of Real-Time Embedded systems (MARTE) aims, amongst other things, at providing a referential Time Model subprofile wher...