1054 search results - page 121 / 211 » Translation Validation of System Abstractions |
144
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...
154
click to vote
CCIA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. As an ongoing effort to develop a computer aided system for the detection of masses on mammograms, we propose on this work a new model-based segmentation algorithm. The a...
170
click to vote
ADAEUROPE
2008
Springer
16 years 20 days ago
2008
Springer
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...
178
click to vote
ICC
2007
IEEE
16 years 19 days ago
2007
IEEE
Abstract— Many sensor networks (SN) use in-network aggregation to minimize the amount of data transmitted by sensors. Unfortunately, aggregation makes the network more vulnerable...
156
click to vote
IROS
2006
IEEE
16 years 10 days ago
2006
IEEE
Abstract— Long range navigation by unmanned ground vehicles continues to challenge the robotics community. Efficient navigation requires not only intelligent on-board perception...