3527 search results - page 463 / 706 » Test Automation in Practice |
78
Voted
ICAC
2007
IEEE
15 years 5 months ago
2007
IEEE
In today’s complex and highly dynamic computing environments, systems/services have to be constantly adjusted to meet Service Level Agreements (SLAs) and to improve resource uti...
98
Voted
INFOCOM
2007
IEEE
15 years 5 months ago
2007
IEEE
— Protecting BGP routing from errors and malice is one of the next big challenges for Internet routing. Several approaches have been proposed that attempt to capture and block ro...
101
click to vote
LICS
2007
IEEE
15 years 5 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
LICS
2007
IEEE
15 years 5 months ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
PG
2007
IEEE
15 years 5 months ago
2007
IEEE
Video matting is the process of taking a sequence of frames, isolating the foreground, and replacing the background with something different in each frame. This is an under-constr...