Search Sciweavers | Sciweavers

31387 search results - page 208 / 6278

» Abstracting abstract machines

150

click to vote

ESOP
2004
Springer

123views Programming Languages» more ESOP 2004»

Strong Preservation as Completeness in Abstract Interpretation

15 years 12 months ago

Download www.math.unipd.it

Francesco Ranzato, Francesco Tapparo

claim paper

Read More »

161

click to vote

FAABS
2004
Springer

136views Intelligent Agents» more FAABS 2004»

From Abstract to Concrete Norms in Agent Institutions

15 years 12 months ago

Download people.cs.uu.nl

Davide Grossi, Frank Dignum

claim paper

Read More »

147

click to vote

FC
2004
Springer

78views Cryptology» more FC 2004»

Timing Attacks in Low-Latency Mix Systems (Extended Abstract)

15 years 12 months ago

Download www.cs.umass.edu

Brian Neil Levine, Michael K. Reiter, Chenxi Wang,...

claim paper

Read More »

139

click to vote

FLOPS
2004
Springer

84views Automated Reasoning» more FLOPS 2004»

Multivariant Non-failure Analysis via Standard Abstract Interpretation

15 years 12 months ago

Download www.cs.unm.edu

Francisco Bueno, Pedro López-García,...

claim paper

Read More »

137

click to vote

FMCO
2004
Springer

102views Formal Methods» more FMCO 2004»

A Fully Abstract Semantics for UML Components

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers