407 search results - page 44 / 82 » An Automated Verification Method for Distributed Systems Sof... |
ICSM
2007
IEEE
14 years 3 months ago
2007
IEEE
Uncovering, modelling, and understanding architectural level dependencies of software systems is a key task for software maintainers. However, current dependency analysis techniqu...
ICASSP
2011
IEEE
13 years 12 days ago
2011
IEEE
Currently, the statistical framework based on Hidden Markov Models (HMMs) plays a relevant role in speech synthesis, while voice conversion systems based on Gaussian Mixture Model...
ICSE
1998
IEEE-ACM
14 years 27 days ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
JSS
2006
13 years 8 months ago
2006
This paper describes an approach to the feature location problem for distributed systems, that is, to the problem of locating which code components are important in providing a pa...
RE
2005
Springer
14 years 2 months ago
2005
Springer
A reverse engineering process aims at reconstructing el abstractions from source code. This paper presents a novel reverse engineering methodology for recovering stakeholder goal ...