3555 search results - page 120 / 711 » Security-Critical System Development with Extended Use Cases |
106
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
This paper introduces a new method for proving global stability of fluid flows through the construction of Lyapunov functionals. For finite dimensional approximations of fluid...
112
click to vote
IADIS
2003
15 years 2 months ago
2003
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...
121
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Software development is rarely an individual effort and generally involves teams of developers collaborating to generate good reliable code. Among the software code there exist te...
116
click to vote
FAC
2007
15 years 1 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...
128
click to vote
IEEESCC
2010
IEEE
15 years 5 months ago
2010
IEEE
Service-oriented Architectures (SOA) and Web services leverage the technical value of solutions in the areas of distributed systems and cross-enterprise integration. The emergence...