Search Sciweavers | Sciweavers

906 search results - page 6 / 182

» Linking Theories of Concurrency

164

click to vote

SEFM
2006
IEEE

152views Software Engineering» more SEFM 2006»

A Theory of Singly-Linked Lists and its Extensible Decision Procedure

16 years 1 days ago

Download www.loria.fr

The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...

Silvio Ranise, Calogero G. Zarba

claim paper

Read More »

138

click to vote

CONCUR
2005
Springer

95views Distributed And Parallel Com...» more CONCUR 2005»

A Theory of System Behaviour in the Presence of Node and Link Failures

15 years 11 months ago

Download basics.sjtu.edu.cn

d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...

Adrian Francalanza, Matthew Hennessy

claim paper

Read More »

115

click to vote

ICARIS
2003
Springer

141views Artificial Intelligence» more ICARIS 2003»

Danger Theory: The Link between AIS and IDS?

15 years 11 months ago

Download www.hpl.hp.com

Uwe Aickelin, Peter J. Bentley, Steve Cayzer, Jung...

claim paper