1809 search results - page 256 / 362 » On the Purpose of Object-Oriented Analysis |
152
click to vote
CISC
2005
Springer
15 years 12 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
168
click to vote
EPIA
2005
Springer
15 years 12 months ago
2005
Springer
Space applications’ users have been relying for the past decades on custom developed software tools capable of addressing short term necessities during critical Spacecraft contro...
194
click to vote
EUROCAST
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The design, development, construction and testing of an ArtificialVision controlled Traffic-Light prototype has been carried out to rule and regulate intersections. Metho...
161
click to vote
HVC
2005
Springer
15 years 12 months ago
2005
Springer
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform th...
165
click to vote
IBPRIA
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we approach the problem of fast surface grading of flat pieces decorated with random patterns. The proposed method is based on the use of global statistics of color ...