592 search results - page 11 / 119 » Can Component Service-Based Systems Be Proved Correct |
130
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...
150
Voted
MBEES
2010
15 years 1 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
132
Voted
ICSE
1997
IEEE-ACM
15 years 7 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...
146
click to vote
POLICY
2001
Springer
15 years 7 months ago
2001
Springer
IPSec (Internet Security Protocol Suite) functions will be executed correctly only if its policies are correctly specified and configured. Manual IPSec policy configuration is inef...
114
Voted
ACSD
2006
IEEE
15 years 9 months ago
2006
IEEE
— When synthesising an asynchronous circuit from an STG, one often encounters the state explosion problem. In order to alleviate this problem one can decompose the STG into small...