3914 search results - page 660 / 783 » Automating SLA modeling |
127
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
131
click to vote
GIS
2009
ACM
15 years 11 months ago
2009
ACM
We propose an automatic approach to tree detection from aerial imagery. First a pixel-level classifier is trained to assign a {tree, non-tree} label to each pixel in an aerial im...
133
click to vote
CEC
2009
IEEE
15 years 11 months ago
2009
IEEE
— One of the main tasks software testing involves is the generation of the test inputs to be used during the test. Due to its expensive cost, the automation of this task has beco...
140
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—The hidden knowledge in social networks data can be regarded as an important resource for criminal investigations which can help finding the structure and organization of a crim...
145
click to vote
ICAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Dynamic adaptation may be used to prevent software downtime while new requirements and responses to environmental conditions are incorporated into the system. Previously, we studi...