3914 search results - page 390 / 783 » Automating SLA modeling |
155
click to vote
SP
2002
IEEE
15 years 6 months ago
2002
IEEE
A security policy specifies session participant requirements. However, existing frameworks provide limited facilities for the automated reconciliation of participant policies. Thi...
223
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
158
click to vote
WSC
2007
15 years 9 months ago
2007
The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant bene...
181
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
—In the environments where heterogeneous devices need to share information, utilize services of each other, and participate as components in various smart applications, it is com...
267
click to vote
GIS
2007
ACM
16 years 8 months ago
2007
ACM
The automatic creation of 3D models of urban spaces has become a very active field of research. This has been inspired by recent applications in the location-awareness on the Inte...