2013 search results - page 176 / 403 » Analysis and Design Techniques for Service-Oriented Developm... |
179
click to vote
POPL
2000
ACM
15 years 10 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
169
click to vote
MICCAI
2005
Springer
16 years 7 months ago
2005
Springer
Diffusion tensor imaging (DTI) has become the major modality to study properties of white matter and the geometry of fiber tracts of the human brain. Clinical studies mostly focus ...
206
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
Security analysis methods can provide correct yet meaningless results if the assumptions underlying the model do not conform to reality. We present an approach to analyze the secur...
150
click to vote
SOFSEM
2009
Springer
16 years 3 months ago
2009
Springer
Microcontroller software typically consists of a few hundred lines of code only, but it is rather different from standard application code. The software is highly hardware and pla...
184
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...