2558 search results - page 264 / 512 » Model Composition Contracts |
112
click to vote
ENTCS
2010
15 years 5 months ago
2010
Credo offers tools and techniques to model and analyze highly reconfigurable distributed systems. In this paper, we present an integrated methodology to use the Credo tool suite. ...
157
Voted
ENGL
2008
15 years 5 months ago
2008
Abstract--The development of the transformer insulation failure undergoes three stages: insulation aging, incipient faults and a short circuit. This paper presents a complete schem...
158
click to vote
FASE
2010
Springer
15 years 3 months ago
2010
Springer
Role-based access control (RBAC) is a popular access control model for enterprise systems due to its economic benefit and scalability. There are many RBAC features available, each ...
129
Voted
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
Commercial-off-the-shelf components (COTS) are widely reused at present and black-box composition is the unique way to integrate them into the target system. However, various mism...
134
click to vote
DOCENG
2006
ACM
15 years 11 months ago
2006
ACM
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...