3107 search results - page 441 / 622 » Error-Correcting Source Code |
102
Voted
SEKE
2004
Springer
15 years 8 months ago
2004
Springer
Development of a software system from existing components can surely have various benefits, but can also entail a series of problems. One type of problems is caused by a limited ...
123
click to vote
SEMWEB
2004
Springer
15 years 8 months ago
2004
Springer
Web services are in the midst of making the transition from being a promising technology to being widely used in the industry. However, most efforts to use Web services have been m...
155
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
124
click to vote
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
118
Voted
DISCEX
2003
IEEE
15 years 8 months ago
2003
IEEE
The MYSEA project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mechanis...