1021 search results - page 67 / 205 » Concepts in Proof Planning |
WETICE
2007
IEEE
14 years 3 months ago
2007
IEEE
Several approaches have been made to establish a generic middleware for tangible user interfaces (TUI). They target toward the independence of application domains as well as flexi...
CADE
1998
Springer
14 years 29 days ago
1998
Springer
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...
SACRYPT
1998
Springer
14 years 28 days ago
1998
Springer
In this paper, we present a simple method for generating random-based signatures when random number generators are either unavailable or of suspected quality (malicious or accident...
WDAG
1993
Springer
14 years 24 days ago
1993
Springer
Fairness is an important concept in design and implementation of distributed systems. At the specification level, fairness usually serves as an assumption for proving liveness. At ...
CSE
2009
IEEE
14 years 20 days ago
2009
IEEE
This paper presents an algorithm to perform the broadcasting of a packet to all the peers that are located into a convex region (Area of Interest) in a Voronoi based peer-topeer ne...