Search Sciweavers | Sciweavers

2687 search results - page 48 / 538

» Formal Analysis of PKCS

Voted

SEKE
2005
Springer

98views Software Engineering» more SEKE 2005»

Formal Analysis of Workflow Systems with Security Considerations

15 years 9 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

claim paper

Read More »

104

click to vote

SAFECOMP
2004
Springer

73views Security Privacy» more SAFECOMP 2004»

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

15 years 8 months ago

Download www.uni-ulm.de

Holger Pfeifer, Friedrich W. von Henke

claim paper

Read More »

123

Voted

SPIN
2004
Springer

112views Theoretical Computer Science» more SPIN 2004»

Formal Analysis of Processor Timing Models

15 years 8 months ago

Download spinroot.com

Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution

Reinhard Wilhelm

claim paper

Read More »

Voted

ICFEM
2003
Springer

102views Software Engineering» more ICFEM 2003»

A Relational Model for Formal Object-Oriented Requirement Analysis in UML

15 years 8 months ago

Download www.iist.unu.edu

Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen

claim paper

Read More »

Voted

DSD
2002
IEEE

95views Hardware» more DSD 2002»

Reachability Analysis for Formal Verification of SystemC

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers