Search Sciweavers | Sciweavers

29046 search results - page 473 / 5810

» Computable Models

143

click to vote

NOCS
2007
IEEE

95views Computer Networks» more NOCS 2007»

A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study

16 years 1 months ago

Download www.nocsymposium.org

Dominique Borrione, Amr Helmy, Laurence V. Pierre,...

claim paper

Read More »

148

click to vote

PDP
2007
IEEE

87views Distributed And Parallel Com...» more PDP 2007»

On Modeling the Reliability of Data Transport in Wireless Sensor Networks

16 years 1 months ago

Download www.deeds.informatik.tu-darmstadt.de

Faisal Karim Shaikh, Abdelmajid Khelil, Neeraj Sur...

claim paper

Read More »

153

click to vote

SIBGRAPI
2007
IEEE

138views Computer Graphics» more SIBGRAPI 2007»

Geodesic Bezier Curves: a Tool for Modeling on Triangulations

16 years 1 months ago

Download www.visgraf.impa.br

Dimas Martínez Morera, Paulo Cezar Pinto Ca...

claim paper

Read More »

123

click to vote

ECOOPW
2007
Springer

89views Distributed And Parallel Com...» more ECOOPW 2007»

Models and Aspects - Handling Crosscutting Concerns in MDSD

16 years 1 months ago

Download iv.tu-berlin.de

Andrew Jackson, Iris Groher, Christa Schwanninger,...

claim paper

Read More »

160

click to vote

ICTCS
2007
Springer

126views Theoretical Computer Science» more ICTCS 2007»

On Defining Proofs of Knowledge in the Bare Public Key Model

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers