4895 search results - page 572 / 979 » Tools for Grammar Engineering |
173
click to vote
FM
2003
Springer
16 years 3 days ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
186
click to vote
FSTTCS
2003
Springer
16 years 3 days ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
178
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
Object-oriented frameworks are an established tool for domain-specific reuse. Many framework design patterns and development processes have been documented, typically reverse engin...
202
click to vote
ACMICEC
2007
ACM
15 years 11 months ago
2007
ACM
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...
184
click to vote
VLDB
1995
ACM
15 years 10 months ago
1995
ACM
The World-Wide Web (WWW) is an ever growing, distributed, non-administered, global information resource. It resides on the worldwide computer network and allows access to heteroge...