9626 search results - page 1856 / 1926 » Invariant Based Programming |
110
click to vote
OOPSLA
2001
Springer
15 years 4 months ago
2001
Springer
Regression testing is applied to modified software to provide confidence that the changed parts behave as intended and that the unchanged parts have not been adversely affected ...
107
click to vote
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
— An ad-hoc network of wireless static nodes is considered as it arises in a rapidly deployed, sensor based, monitoring system. Information is generated in certain nodes and need...
107
click to vote
INFOCOM
2000
IEEE
15 years 4 months ago
2000
IEEE
— This paper presents new algorithms for dynamic routing of restorable bandwidth guaranteed paths. Dynamic routing implies routing of requests that arrive one-by-one with no a pr...
108
click to vote
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
To solve real-world discrete optimization problems approximately metaheuristics such as simulated annealing and other local search methods are commonly used. For large instances o...
NOMS
2000
IEEE
15 years 4 months ago
2000
IEEE
Management of large-scale Network-Centric Systems (NCS) and their applications is an extremely complex and challenging task due to factors such as centralized management architect...