Search Sciweavers | Sciweavers

2813 search results - page 16 / 563

» Formalizing Architectural Connection

click to vote

SAFECOMP
2004
Springer

73views Security Privacy» more SAFECOMP 2004»

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

14 years 2 months ago

Download www.uni-ulm.de

Holger Pfeifer, Friedrich W. von Henke

claim paper

Read More »

click to vote

IFIP
2003
Springer

74views Programming Languages» more IFIP 2003»

A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks

14 years 2 months ago

Download www.ub.utwente.nl

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

claim paper

Read More »

click to vote

ICSE
1997
IEEE-ACM

83views Software Engineering» more ICSE 1997»

Using Formal Methods to Reason about Architectural Standards

14 years 1 months ago

Download www.cs.virginia.edu

Kevin J. Sullivan, John Socha, Mark Marchukov

claim paper

Read More »

click to vote

CORR
2006
Springer

78views Education» more CORR 2006»

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

13 years 9 months ago

Download univ.herveverjus.com

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

claim paper

Read More »

click to vote

JNSM
2007

65views more JNSM 2007»

Implementation of a Formal Security Policy Refinement Process in WBEM Architecture

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers