Sciweavers

10585 search results - page 133 / 2117

» The Orc Programming Language

26

IFIP
2009
Springer

95views Programming Languages» more IFIP 2009»

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

13 years 6 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 »

73

ADT
2011

393views Programming Languages» more ADT 2011»

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

13 years 4 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 »

16

IFIP
2010
Springer

109views Programming Languages» more IFIP 2010»

AnBx - Security Protocols Design and Verification

13 years 3 months ago

AnBx - Security Protocols Design and Verification

Download www.dsi.unive.it

Michele Bugliesi, Paolo Modesti

claim paper

Read More »

19

IFIP
2010
Springer

80views Programming Languages» more IFIP 2010»

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

13 years 3 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 »

23

IFIP
2010
Springer

107views Programming Languages» more IFIP 2010»

Reasoning with Past to Prove PKCS#11 Keys Secure

13 years 3 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 »