6079 search results - page 1043 / 1216 » Aspect-Oriented Process Engineering |
146
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
TCP is an important protocol in high-performance computing. It is used extensively in graphics programs and file systems and it is often the protocol used for the cluster control...
187
click to vote
ISORC
2005
IEEE
15 years 12 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...
168
click to vote
ISQED
2005
IEEE
15 years 12 months ago
2005
IEEE
Hierarchical approach greatly facilitates large-scale chip design by hiding distracting details in low-level objects. However, the lowlevel designs have to have a global view of h...
157
click to vote
ISSRE
2005
IEEE
15 years 12 months ago
2005
IEEE
The software development process imposes major impacts on the quality of software at every development stage; therefore, a common goal of each software development phase concerns ...
149
click to vote
IWPSE
2005
IEEE
15 years 12 months ago
2005
IEEE
As systems evolve their structure change in ways not expected upfront. As time goes by, the knowledge of the developers becomes more and more critical for the process of understan...