6474 search results - page 1149 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
189
click to vote
ICSE
1997
IEEE-ACM
15 years 11 months ago
1997
IEEE-ACM
1 In this paper we characterize and model the cost of rework in a Component Factory (CF) organization. A CF is responsible for developing and packaging reusable software components...
181
Voted
PEPM
1993
ACM
15 years 11 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
269
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
194
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
194
click to vote
FSEN
2009
Springer
15 years 11 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...