1581 search results - page 81 / 317 » Mechanizing Inductive Reasoning |
174
click to vote
FM
1991
Springer
15 years 9 months ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
193
click to vote
ISCAPDCS
2004
15 years 7 months ago
2004
Increasing multimedia applications such as teleconferencing and video-on-demand require the Internet to effectively provide high-performance multicast support. One of the promisin...
125
click to vote
CADE
1994
Springer
15 years 10 months ago
1994
Springer
This paper introduces the imps proof script mechanism and some practical methods for exploiting it.
177
click to vote
TPHOL
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. A second-level security protocol is defined as a security protocol that relies on an underlying security protocol in order to achieve its goals. The verification of cla...
157
click to vote
ECML
2000
Springer
15 years 10 months ago
2000
Springer
We examine the role of simplicity in directing the induction of context-free grammars from sample sentences. We present a rational reconstruction of Wol 's SNPR { the Gridssys...