Communications | Sciweavers

54

SCP
2011

305views Communications» more SCP 2011»

DESOLA: An active linear algebra library using delayed evaluation and runtime code generation

13 years 6 months ago

Active libraries can be deﬁned as libraries which play an active part in the compilation, in particular, the optimisation of their client code. This paper explores the implement...

Francis P. Russell, Michael R. Mellor, Paul H. J. ...

claim paper

Read More »

43

click to vote

SCP
2011

265views Communications» more SCP 2011»

An architecture for generic extensions

13 years 6 months ago

Download www.csd.uwo.ca

Cosmin E. Oancea, Stephen M. Watt

claim paper

Read More »

30

click to vote

SCP
2011

191views Communications» more SCP 2011»

On Euclid's algorithm and elementary number theory

13 years 6 months ago

Download www.cs.nott.ac.uk

Roland Carl Backhouse, João F. Ferreira

claim paper

Read More »

31

click to vote

SCP
2011

197views Communications» more SCP 2011»

A state/event-based model-checking approach for the analysis of abstract system properties

13 years 6 months ago

Download fmt.isti.cnr.it

system properties Maurice H. ter Beeka,∗ , Alessandro Fantechia,b , Stefania Gnesia , Franco Mazzantia a Istituto di Scienza e Tecnologie dell’Informazione ‘‘A. Faedo’’...

Maurice H. ter Beek, Alessandro Fantechi, Stefania...

claim paper

Read More »

44

click to vote

SCN
2011
Springer

231views Communications» more SCN 2011»

DSA-Mesh: a distributed security architecture for wireless mesh networks

13 years 6 months ago

Download cs.unibg.it

Fabio Martignon, Stefano Paris, Antonio Capone

claim paper

Read More »

53

click to vote

SCN
2011
Springer

292views Communications» more SCN 2011»

Synthesis of attack actions using model checking for the verification of security protocols

13 years 6 months ago

Download users.auth.gr

Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...

Stylianos Basagiannis, Panagiotis Katsaros, Andrew...

claim paper

Read More »

48

click to vote

SCN
2011
Springer

194views Communications» more SCN 2011»

Differentiated security in wireless mesh networks

13 years 6 months ago

Download doc.tm.uka.de

Thomas Gamer, Lars Völker, Martina Zitterbart

claim paper

Read More »

96

click to vote

SCN
2011
Springer

348views Communications» more SCN 2011»

MANET QoS support without reservations

13 years 6 months ago

Download www.usukita.org

An inelastic ﬂow is a ﬂow with inelastic rate: i.e., the rate is ﬁxed, it cannot be dynamically adjusted to traﬃc and load condition as in elastic ﬂows like TCP. Real ti...

Soon-Young Oh, Gustavo Marfia, Mario Gerla

claim paper

Read More »

65

click to vote

MANSCI
2011

220views Communications» more MANSCI 2011»

Fund Flows, Performance, Managerial Career Concerns, and Risk Taking

13 years 6 months ago