4850 search results - page 769 / 970 » Proof and Computation in Geometry |
188
click to vote
EDCC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...
167
click to vote
FOSSACS
2005
Springer
16 years 3 days ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
177
click to vote
HUC
2005
Springer
16 years 3 days ago
2005
Springer
With the ubiquity of camera phones, it is now possible to capture digital still and moving images anywhere, raising a legitimate concern for many organizations and individuals. Alt...
203
click to vote
RTA
2005
Springer
16 years 2 days ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...
189
click to vote
WPES
2004
ACM
16 years 16 hour ago
2004
ACM
Quite often on the Internet, cryptography is used to protect private, personal communications. However, most commonly, systems such as PGP are used, which use long-lived encryptio...