4674 search results - page 420 / 935 » cases 2008 |
187
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
161
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
ion that the system under development is looked at. We outline a mapping relating exceptions at a high level action to exceptions and other software artifacts at vels of abstractio...
146
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Exception handling patterns can raise the abstraction level of processes, facilitating their writing and understanding. In this paper, we identify several useful, general purpose e...
158
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Growth and form in biology are often associated with some level of fractality. Fractal characteristics have also been noted in a number of imaging modalities. These observations m...
167
click to vote
ISBI
2008
IEEE
16 years 7 months ago
2008
IEEE
Acoustic shadows appear in ultrasound images as regions of low signal intensity after boundaries with very high acoustic impedance differences. Acoustic shadows can be viewed as i...