Search Sciweavers | Sciweavers

23413 search results - page 296 / 4683

» or 2005

132

click to vote

ESOP
2005
Springer

121views Programming Languages» more ESOP 2005»

Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries

16 years 4 days ago

Download www-verimag.imag.fr

Romain Janvier, Yassine Lakhnech, Laurent Mazar&ea...

claim paper

Read More »

125

click to vote

ESWS
2005
Springer

95views Internet Technology» more ESWS 2005»

AIS and Semantic Query

16 years 4 days ago

Download www.hpl.hp.com

Rana Kashif Ali, Steve Cayzer

claim paper

Read More »

125

click to vote

ESWS
2005
Springer

81views Internet Technology» more ESWS 2005»

Process-Level Composition of Executable Web Services: "On-the-fly" Versus "Once-for-all" Composition

16 years 4 days ago

Download klase.itc.it

Marco Pistore, Pierluigi Roberti, Paolo Traverso

claim paper

Read More »

131

click to vote

EUPROJECTS
2005
Springer

62views Security Privacy» more EUPROJECTS 2005»

Multimodal Interfaces - A Generic Design Approach

16 years 4 days ago

Download www.loria.fr

Noelle Carbonell

claim paper

Read More »

108

click to vote

EUROCAST
2005
Springer

86views Hardware» more EUROCAST 2005»

Verification of Language Based Fault-Tolerance

16 years 4 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers