Search Sciweavers | Sciweavers

8083 search results - page 68 / 1617

» A Formalization of Software Architecture

click to vote

NOCS
2007
IEEE

95views Computer Networks» more NOCS 2007»

A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study

14 years 1 months ago

Download www.nocsymposium.org

Dominique Borrione, Amr Helmy, Laurence V. Pierre,...

claim paper

Read More »

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 1 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 26 days ago

Download www.ub.utwente.nl

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

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 7 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 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers