1894 search results - page 157 / 379 » A TLA Proof System |
109
Voted
TPHOL
2006
IEEE
15 years 10 months ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
148
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
In line with the recent call for technology on Image Based Authentication (IBA) in JPEG committee [1], we present a novel graphical password design in this paper. It rests on the ...
134
click to vote
MKM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
141
Voted
ICTAC
2004
Springer
15 years 9 months ago
2004
Springer
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
132
click to vote
MPC
2004
Springer
15 years 9 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...