Search Sciweavers | Sciweavers

31387 search results - page 161 / 6278

» Abstracting abstract machines

150

click to vote

IEEEARES
2008
IEEE

120views Security Privacy» more IEEEARES 2008»

Analysis of Security Requirements for Cryptographic Voting Protocols (Extended Abstract)

16 years 27 days ago

Download www.ceng.metu.edu.tr

Orhan Cetinkaya

claim paper

Read More »

134

click to vote

IEEEARES
2008
IEEE

106views Security Privacy» more IEEEARES 2008»

Annotating Regulations Using Cerno: An Application to Italian Documents - Extended Abstract

16 years 27 days ago

Download research.cs.queensu.ca

Nicola Zeni, Nadzeya Kiyavitskaya, James R. Cordy,...

claim paper

Read More »

141

click to vote

IEEEARES
2008
IEEE

119views Security Privacy» more IEEEARES 2008»

Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models

16 years 27 days ago

Download staff.polito.it

Alfredo Pironti, Riccardo Sisto

claim paper

Read More »

155

click to vote

INFOCOM
2008
IEEE

110views Communications» more INFOCOM 2008»

On the Feasibility of the Link Abstraction in (Rural) Mesh Networks

16 years 27 days ago

Download pages.cs.wisc.edu

Dattatraya Y. Gokhale, Sayandeep Sen, Kameswari Ch...

claim paper

Read More »

120

click to vote

IRI
2008
IEEE

68views Information Technology» more IRI 2008»

Result identification for biomedical abstracts using Conditional Random Fields

16 years 27 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers