2496 search results - page 354 / 500 » Error-detecting properties of languages |
144
click to vote
PROVSEC
2007
Springer
15 years 10 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
134
click to vote
W2GIS
2007
Springer
15 years 10 months ago
2007
Springer
User interaction is mostly based on forms. However, forms are restricted to alphanumerical data – the editing of geospatial data is not supported. This statement does not only ho...
140
click to vote
ICECCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
126
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
We present a browser-extending Semantic Web extraction system that maps HTML documents to tables and, where possible, to rules. First, the basic data extractor ViPER distills and ...
137
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
The backbone of many architectures is an architectural style that provides a domain-specific design vocabulary and set of constraints on how that vocabulary can be used. Hence, d...