Search Sciweavers | Sciweavers

4595 search results - page 72 / 919

» Reasoning about Plans

157

click to vote

CSFW
2007
IEEE

98views Security Privacy» more CSFW 2007»

Reasoning about Concurrency for Security Tunnels

16 years 14 days 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 »

138

click to vote

SEFM
2007
IEEE

82views Software Engineering» more SEFM 2007»

Sound reasoning about unchecked exceptions

16 years 12 days ago

Download people.cs.kuleuven.be

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

claim paper

Read More »

131

click to vote

AOSE
2007
Springer

113views Intelligent Agents» more AOSE 2007»

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

16 years 10 days ago

Download eprints.biblio.unitn.it

Yudistira Asnar, Paolo Giorgini, Nicola Zannone

claim paper

Read More »

125

click to vote

FASE
2007
Springer

82views Software Engineering» more FASE 2007»

Practical Reasoning About Invocations and Implementations of Pure Methods

16 years 9 days ago

Download research.microsoft.com

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

claim paper

Read More »

140

click to vote

HYBRID
2007
Springer

101views Control Systems» more HYBRID 2007»

Differential Logic for Reasoning About Hybrid Systems

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers