Search Sciweavers | Sciweavers

31387 search results - page 123 / 6278

» Abstracts

137

click to vote

CCGRID
2008
IEEE

128views Distributed And Parallel Com...» more CCGRID 2008»

Grid Resource Abstraction, Virtualization, and Provisioning for Time-Targeted Applications

16 years 27 days ago

Download csag.ucsd.edu

Yang-Suk Kee, Carl Kesselman

claim paper

Read More »

129

click to vote

CSFW
2008
IEEE

110views Security Privacy» more CSFW 2008»

Cryptographically-Sound Protocol-Model Abstractions

16 years 26 days ago

Download www.zisc.ethz.ch

Christoph Sprenger, David A. Basin

claim paper

Read More »

124

click to vote

DATE
2008
IEEE

101views Hardware» more DATE 2008»

Introducing Preemptive Scheduling in Abstract RTOS Models using Result Oriented Modeling

16 years 26 days ago

Download www.date-conference.com

Gunar Schirner, Rainer Dömer

claim paper

Read More »

129

click to vote

DEPCOS
2008
IEEE

112views Hardware» more DEPCOS 2008»

Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models

16 years 26 days ago

Download alfredo.pironti.eu

Alfredo Pironti, Riccardo Sisto

claim paper

Read More »

130

click to vote

HICSS
2008
IEEE

106views Biometrics» more HICSS 2008»

Generating an Abstract User Interface from a Discourse Model Inspired by Human Communication

16 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers