4350 search results - page 849 / 870 » Case studies for contract-based systems |
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— Routing protocols have traditionally been based on finding shortest paths under certain cost metrics. A conventional routing metric models the cost of a path as the sum of the...
IWPSE
2007
IEEE
14 years 2 months ago
2007
IEEE
The starting point for software evolution is usually a change request, expressing the new or updated requirements on the delivered system. The requirements specified in a change ...
WCRE
2007
IEEE
14 years 2 months ago
2007
IEEE
As the useful life expectancy of software continues to increase, the task of maintaining the source code has become the dominant phase of the software life-cycle. In order to impr...
WISE
2007
Springer
14 years 2 months ago
2007
Springer
We study and present our findings on two closely related problems on xpath rewriting using views when both the view and the query are tree patterns involving /,// and []. First, g...
SAMOS
2007
Springer
14 years 2 months ago
2007
Springer
—This paper presents a new methodology based on evolutionary multi-objective optimization (EMO) to synthesize multiple complex modules on programmable devices (FPGAs). It starts ...