4609 search results - page 657 / 922 » Automatic Generation of Sigma-Protocols |
170
click to vote
GISCIENCE
2004
Springer
16 years 7 hour ago
2004
Springer
We investigate the understanding of landmarks using a model of embedding procedures that sees affordances established on three levels. On the first level there are landmark experie...
170
click to vote
ISCIS
2004
Springer
15 years 12 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
183
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Restrictions of rewriting can eventually achieve termination by pruning all infinite rewrite sequences issued from every term. Contextsensitive rewriting (CSR) is an example of su...
152
click to vote
ICSM
2003
IEEE
15 years 12 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
164
click to vote
DOCENG
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...