1606 search results - page 178 / 322 » XML-based programming language modeling: An approach to soft... |
149
click to vote
FORMATS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
160
click to vote
EDUTAINMENT
2007
Springer
16 years 2 days ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
158
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
127
click to vote
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
147
click to vote
PLDI
2006
ACM
15 years 12 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...