220 search results - page 3 / 44 » Verifying a signature architecture: a comparative case study |
DAC
1997
ACM
13 years 9 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
CSMR
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper describes a case study that uses clustering to group classes of an existing objectoriented system of significant size into subsystems. The clustering process is based o...
ICSM
2003
IEEE
13 years 11 months ago
2003
IEEE
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
IEEESCC
2005
IEEE
13 years 11 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
BIOCOMP
2006
13 years 7 months ago
2006
- We developed a method of reverse engineering to compare the behaviour the enzyme proteins with the existing standard concepts. Our work is based on the strong assumption from the...