3799 search results - page 443 / 760 » An Engineering Approach to Formal Methods |
177
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Since the appearance in 1993, first approaching the Shannon limit, the Turbo Codes gave a new direction for the channel encoding field, especially since they were adopted for mult...
180
click to vote
IWPC
2007
IEEE
16 years 1 months ago
2007
IEEE
The use of dynamic information to aid in software understanding is a common practice nowadays. One of the many approaches concerns the comprehension of execution traces. A major i...
167
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
When trying to understand the evolution of a software system it can be useful to visualize the evolution of the system’s architecture. Existing tools for viewing architectural e...
139
click to vote
IEEECIT
2006
IEEE
16 years 23 days ago
2006
IEEE
As an important part of service-oriented software engineering, service retrieval receives much attention from industry and academia, but which still leaves much to be expected: ho...
173
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we propose an analytical approach for estimating the reliability of a component-based software. This methodology assumes that the software components are heterogeneo...