3444 search results - page 580 / 689 » A Theory of Object-Oriented Design |
241
click to vote
ECEASST
2010
15 years 3 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
218
click to vote
AI
2011
Springer
15 years 1 months ago
2011
Springer
The ability to achieve one’s goals is a defining characteristic of intelligent behaviour. A great many existing theories, systems and research programmes address the problems a...
163
click to vote
SIAMAM
2011
15 years 1 months ago
2011
We consider the problem of locating perfectly conducting cracks and estimating their geometric features from multi-static response matrix measurements at a single or multiple frequ...
178
click to vote
SIAMCO
2011
15 years 1 months ago
2011
Given a nominal plant, together with a fixed neighborhood of this plant, the problem of robust stabilization is to find a controller that stabilizes all plants in that neighborh...
242
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...