795 search results - page 53 / 159 » A Formal Approach to Heterogeneous Software Modeling |
98
Voted
HVC
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
76
Voted
IEAAIE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
98
Voted
SP
1997
IEEE
15 years 4 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
111
Voted
ASWEC
2009
IEEE
15 years 7 months ago
2009
IEEE
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
146
Voted
EMS
2009
IEEE
15 years 7 months ago
2009
IEEE
—In the future smart city, new information and communication technologies will enable a better management of the available resources. The future smart grid infrastructure is emer...