3552 search results - page 463 / 711 » Proof theory in the abstract |
162
click to vote
SEFM
2006
IEEE
16 years 20 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
175
click to vote
INFOCOM
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract— The distributed hash table (DHT) scheme has become the core component of many large-scale peer-to-peer networks. Degree, diameter, and congestion are important measures...
172
click to vote
ISCAS
2005
IEEE
16 years 7 days ago
2005
IEEE
Abstract — FPGAs offer excellent platform for System-onChips consisting of Intellectual Property (IP) blocks. The problem is that IP blocks and their interconnections are often F...
165
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The formal development of industrial-size software is an errorprone and therefore an evolutionary process. Verifying formal specifications usually reveals hidden errors ...
190
click to vote
EDCC
2005
Springer
16 years 5 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...