528 search results - page 78 / 106 » Construction of concrete verification models from C |
97
Voted
ESOP
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...
JCS
2008
14 years 10 months ago
2008
We present a novel technique, known as the non-delegatable authority (NDA), for distributing authority to unconfined subjects in capability systems that prevents them from sharing...
COMPSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper empirically explores the correlations between a suite of structural stability metrics for object-oriented designs and post-release defect density. The investigated stab...
SEW
2005
IEEE
15 years 4 months ago
2005
IEEE
The structural stability of an object-oriented design (OOD) refers to the extent to which the structure of the design is preserved throughout the evolution of the software from on...
107
Voted
COMCOM
2011
14 years 5 months ago
2011
In the very active field of complex networks, research advances have largely been stimulated by the availability of empirical data and the increase in computational power needed ...