437 search results - page 31 / 88 » Gradience, Constructions and Constraint Systems |
TIFS
2008
13 years 9 months ago
2008
Abstract--Distributed detection of information flows is considered in which traffic sensors at different locations of a network observe transmission epochs. The traffic sensors com...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Model driven functional system testing generates test scenarios from behavioural and structural models. In order to autmatically generate tests, conditions such as invariants and ...
SIES
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--Many heterogeneous embedded systems, for example industrial automation and automotive applications, require hard-real time constraints to be exhaustively verified - which...
JNS
2008
13 years 9 months ago
2008
This paper studies the construction of geometric integrators for nonholonomic systems. We derive the nonholonomic discrete Euler-Lagrange equations in a setting which permits to de...
ICMCS
2009
IEEE
13 years 6 months ago
2009
IEEE
Large-scale multimedia semantic concept detection requires realtime identification of a set of concepts in streaming video or large image datasets. The potentially high data volum...