2496 search results - page 449 / 500 » Error-detecting properties of languages |
206
click to vote
GIS
2008
ACM
16 years 29 days ago
2008
ACM
Geospatial information integration is not a trivial task. An integrated view must be able to describe various heterogeneous data sources and its interrelation to obtain shared con...
114
click to vote
SIGSOFT
2008
ACM
16 years 19 days ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
CAV
2009
Springer
16 years 13 days ago
2009
Springer
Abstract. Contract-based property checkers hold the potential for precise, scalable, and incremental reasoning. However, it is difficult to apply such checkers to large program mod...
TCC
2009
Springer
16 years 13 days ago
2009
Springer
The concept of witness-hiding suggested by Feige and Shamir is a natural relaxation of zero-knowledge. In this paper we identify languages and distributions for which many known co...
109
click to vote
PODS
2008
ACM
16 years 17 hour ago
2008
ACM
We revisit the classical chase procedure, studying its properties as well as its applicability to standard database problems. We settle (in the negative) the open problem of decid...