996 search results - page 112 / 200 » A Compositional Model for Software Reuse |
134
click to vote
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
149
click to vote
FASE
2010
Springer
15 years 2 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 ...
134
click to vote
SOCO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
132
click to vote
IRI
2003
IEEE
15 years 9 months ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
135
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...