Sciweavers

2813 search results - page 16 / 563

» Formalizing Architectural Connection

144

SAFECOMP
2004
Springer

73views Security Privacy» more SAFECOMP 2004»

Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture

15 years 11 months ago

Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture

Download www.uni-ulm.de

Holger Pfeifer, Friedrich W. von Henke

claim paper

Read More »

114

IFIP
2003
Springer

74views Programming Languages» more IFIP 2003»

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

15 years 11 months ago

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

Download www.ub.utwente.nl

Yee Wei Law, Ricardo Corin, Sandro Etalle, Pieter ...

claim paper

Read More »

131

ICSE
1997
IEEE-ACM

83views Software Engineering» more ICSE 1997»

Using Formal Methods to Reason about Architectural Standards

15 years 10 months ago

Using Formal Methods to Reason about Architectural Standards

Download www.cs.virginia.edu

Kevin J. Sullivan, John Socha, Mark Marchukov

claim paper

Read More »

111

CORR
2006
Springer

78views Education» more CORR 2006»

A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications

15 years 6 months ago

A Formal Architecture-Centric Model-Driven Approach for the Automatic Generation of Grid Applications

Download univ.herveverjus.com

David Manset, Hervé Verjus, Richard McClatc...

claim paper

Read More »

118

JNSM
2007

65views more JNSM 2007»

Implementation of a Formal Security Policy Refinement Process in WBEM Architecture

15 years 6 months ago

Implementation of a Formal Security Policy Refinement Process in WBEM Architecture

Download www.lanoms.org

Romain Laborde, Michel Kamel, François Barr...

claim paper

Read More »

« Prev « First page 16 / 563 Last » Next »