8808 search results - page 403 / 1762 » Process of Software Evolution |
145
click to vote
ISESE
2003
IEEE
16 years 4 days ago
2003
IEEE
Data collected from five years of developing e-service applications at USC-CSE reveals that an increasing fraction have been commercial-off-the-shelf (COTS)Based Application (CBA)...
191
click to vote
TCOM
2010
15 years 1 months ago
2010
The linear minimum-mean-square error (LMMSE) estimator is herein derived to estimate phase-noise of Levy statistics (including Wiener phase-noise) and of arbitrarily large magnitud...
207
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
182
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
We present PacketShader, a high-performance software router framework for general packet processing with Graphics Processing Unit (GPU) acceleration. PacketShader exploits the mas...
232
click to vote
AOSE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...