5446 search results - page 359 / 1090 » Software Architecture - Introduction |
208
click to vote
ISORC
2005
IEEE
16 years 9 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
180
click to vote
ICAPR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Software analysis techniques, and in particular software “design recovery”, have been highly successful at both technical and businesslevel semantic markup of large s...
153
click to vote
SAC
2004
ACM
16 years 4 days ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...
158
click to vote
ICTAI
2003
IEEE
16 years 11 hour ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...
191
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Neuroimaging techniques produce large amounts of data capable of displaying a wide variety of structural and functional properties of the brain. A large number of specialized image...