Sciweavers

10585 search results - page 133 / 2117

» The Orc Programming Language

123

Voted

IFIP
2009
Springer

95views Programming Languages» more IFIP 2009»

Evaluating Goal Achievement in Enterprise Modeling - An Interactive Procedure and Experiences

15 years 1 months ago

Evaluating Goal Achievement in Enterprise Modeling - An Interactive Procedure and Experiences

Download www.cs.toronto.edu

Jennifer Horkoff, Eric S. K. Yu

claim paper

Read More »

258

ADT
2011

393views Programming Languages» more ADT 2011»

All-optical multipoint-to-point routing in WDM mesh networks

14 years 10 months ago

All-optical multipoint-to-point routing in WDM mesh networks

Download www.irisa.fr

Fen Zhou, Miklós Molnár, Bernard Cou...

claim paper

Read More »

72

IFIP
2010
Springer

109views Programming Languages» more IFIP 2010»

AnBx - Security Protocols Design and Verification

14 years 10 months ago

AnBx - Security Protocols Design and Verification

Download www.dsi.unive.it

Michele Bugliesi, Paolo Modesti

claim paper

Read More »

84

Voted

IFIP
2010
Springer

80views Programming Languages» more IFIP 2010»

Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction

14 years 10 months ago

Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction

Download www-sop.inria.fr

Clément Hurlin, Hélène Kirchn...

claim paper

Read More »

87

IFIP
2010
Springer

107views Programming Languages» more IFIP 2010»

Reasoning with Past to Prove PKCS#11 Keys Secure

14 years 10 months ago

Reasoning with Past to Prove PKCS#11 Keys Secure

Download csd.informatik.uni-oldenburg.de

Sibylle B. Fröschle, Nils Sommer

claim paper

Read More »

« Prev « First page 133 / 2117 Last » Next »