3742 search results - page 478 / 749 » On the Use of Formal Techniques for Validation |
193
click to vote
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
166
click to vote
CSMR
2005
IEEE
16 years 8 days ago
2005
IEEE
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
169
click to vote
DEXA
2005
Springer
16 years 5 days ago
2005
Springer
In relational database systems a combination of privileges and views is employed to limit a user’s access and to hide non-public data. The data privacy problem is to decide wheth...
172
click to vote
DNA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Motivated by recent techniques developed for observing evolutionary dynamics of a single DNA molecule, we introduce a formal model for accepting an observed behavior of a...
161
click to vote
ICTCS
2005
Springer
16 years 4 days ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...