Search Sciweavers | Sciweavers

4595 search results - page 72 / 919

» Reasoning about Plans

136

click to vote

CSFW
2007
IEEE

98views Security Privacy» more CSFW 2007»

Reasoning about Concurrency for Security Tunnels

15 years 11 months ago

Download seclab.uiuc.edu

There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...

Alwyn Goodloe, Carl A. Gunter

claim paper

Read More »

127

Voted

SEFM
2007
IEEE

82views Software Engineering» more SEFM 2007»

Sound reasoning about unchecked exceptions

15 years 11 months ago

Download people.cs.kuleuven.be

Bart Jacobs 0002, Peter Müller, Frank Piessen...

claim paper

Read More »

116

click to vote

AOSE
2007
Springer

113views Intelligent Agents» more AOSE 2007»

Reasoning About Risk in Agent's Deliberation Process: A Jadex Implementation

15 years 10 months ago

Download eprints.biblio.unitn.it

Yudistira Asnar, Paolo Giorgini, Nicola Zannone

claim paper

Read More »

107

click to vote

FASE
2007
Springer

82views Software Engineering» more FASE 2007»

Practical Reasoning About Invocations and Implementations of Pure Methods

15 years 10 months ago

Download research.microsoft.com

Ádám Darvas, K. Rustan M. Leino

claim paper

Read More »

117

Voted

HYBRID
2007
Springer

101views Control Systems» more HYBRID 2007»

Differential Logic for Reasoning About Hybrid Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers