5446 search results - page 359 / 1090 » Software Architecture - Introduction |
234
click to vote
ISORC
2005
IEEE
16 years 1 months 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...
199
click to vote
ICAPR
2005
Springer
16 years 29 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...
171
click to vote
SAC
2004
ACM
16 years 26 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...
189
click to vote
ICTAI
2003
IEEE
16 years 21 days 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...
217
Voted
GI
2009
Springer
16 years 1 days 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...