2740 search results - page 353 / 548 » A Model-Based Approach To Requirements Analysis |
108
Voted
BC
1998
15 years 3 months ago
1998
In homing tasks, the goal is often not marked by visible objects but must be inferred from the spatial relation to the visual cues in the surrounding scene. The exact computation o...
134
Voted
CODES
2010
IEEE
15 years 1 months ago
2010
IEEE
Due to the ever increasing system complexity, deciding whether a given platform is sufficient to implement a set of applications under given constraints becomes a serious bottlene...
122
Voted
TSP
2010
14 years 10 months ago
2010
Abstract--The performance of existing moments-based nondata-aided (NDA) estimators of signal-to-noise ratio (SNR) in digital communication systems substantially degrades with multi...
145
Voted
SSDBM
2011
IEEE
14 years 7 months ago
2011
IEEE
Large-scale N-body simulations play an important role in advancing our understanding of the formation and evolution of large structures in the universe. These computations require ...
287
Voted
SPIN
2012
Springer
13 years 6 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...