2836 search results - page 107 / 568 » Model Checking for Software Architectures |
87
Voted
CASES
2004
ACM
15 years 9 months ago
2004
ACM
119
Voted
IOLTS
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper, an innovative self-checking Reed Solomon encoder architecture is described. The presented architecture exploits some properties of the arithmetic operations in G...
108
Voted
WICSA
2008
15 years 5 months ago
2008
An organization is architecturally competent if it has the ability to acquire, use and sustain the skills and knowledge necessary to carry out architecture-related practices that ...
138
Voted
FAC
2007
15 years 3 months ago
2007
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
143
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...