Sciweavers

12052 search results - page 19 / 2411

» computing 2010

15

ENTCS
2006

108views more ENTCS 2006»

Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness

13 years 7 months ago

Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness

Download www-dse.doc.ic.ac.uk

Nobuko Yoshida

claim paper

Read More »

11

ENTCS
2007

65views more ENTCS 2007»

Effective Randomness for Computable Probability Measures

13 years 7 months ago

Effective Randomness for Computable Probability Measures

Download www.ens-lyon.fr

Laurent Bienvenu, Wolfgang Merkle

claim paper

Read More »

20

ENTCS
2007

80views more ENTCS 2007»

Relational Parametricity for Control Considered as a Computational Effect

13 years 7 months ago

Relational Parametricity for Control Considered as a Computational Effect

Download homepages.inf.ed.ac.uk

Rasmus Ejlers Møgelberg, Alex Simpson

claim paper

Read More »

7

EOR
2007

71views more EOR 2007»

Control and voting power in corporate networks: Concepts and computational aspects

13 years 7 months ago

Control and voting power in corporate networks: Concepts and computational aspects

Download www.rogp.hec.ulg.ac.be

Yves Crama, Luc Leruth

claim paper

Read More »

10

DT
2000

48views more DT 2000»

Fast Template Placement for Reconfigurable Computing Systems

13 years 7 months ago

Fast Template Placement for Reconfigurable Computing Systems

Download www.cs.ucr.edu

Kia Bazargan, Ryan Kastner, Majid Sarrafzadeh

claim paper

Read More »

« Prev « First page 19 / 2411 Last » Next »