2253 search results - page 131 / 451 » An Approach to Specifying Software Frameworks |
142
click to vote
MSCS
2008
15 years 3 months ago
2008
Abstract. Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs c...
116
click to vote
IRI
2007
IEEE
15 years 10 months ago
2007
IEEE
The integration of networked applications, especially those requiring continuous access to shared information resources and databases, may be effected by scheduled unavailability ...
141
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
102
Voted
JCDL
2010
ACM
15 years 9 months ago
2010
ACM
Converting a scanned document to a binary format (black and white) is a key step in the digitization process. While many existing binarization algorithms operate robustly for well...
132
click to vote
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...