3914 search results - page 479 / 783 » Automating SLA modeling |
161
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Network management operations are complicated, tedious and error-prone, requiring significant human involvement and expert knowledge. In this paper, we first examine the fundame...
161
click to vote
IAT
2008
IEEE
16 years 1 months ago
2008
IEEE
The process of creating e-learning contents using reusable learning objects (LOs) can be broken down in two sub-processes: LOs finding and LO sequencing. Although semiautomatic to...
208
click to vote
ICEIS
2008
IEEE
16 years 1 months ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
171
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
150
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...