1418 search results - page 158 / 284 » The Dynamic Complexity of Formal Languages |
116
click to vote
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
148
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
139
click to vote
ISSTA
1989
ACM
15 years 8 months ago
1989
ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
152
Voted
ETRICS
2006
15 years 8 months ago
2006
To cope with the complex requirements imposed on the processing of privacy-sensitive data within enterprises, the use of automatic or semi-automatic tools is gradually becoming in...
126
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...