Search Sciweavers | Sciweavers

2488 search results - page 72 / 498

» An improvement in formal verification

click to vote

ESORICS
2002
Springer

198views Security Privacy» more ESORICS 2002»

Formal Security Analysis with Interacting State Machines

14 years 9 months ago

Download david.von-oheimb.de

We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...

David von Oheimb, Volkmar Lotz

claim paper

Read More »

click to vote

CAIP
2009
Springer

122views Image Analysis» more CAIP 2009»

Regression Based Non-frontal Face Synthesis for Improved Identity Verification

14 years 4 months ago

Download www.itee.uq.edu.au

Yongkang Wong, Conrad Sanderson, Brian C. Lovell

claim paper

Read More »

click to vote

GLVLSI
2007
IEEE

177views VLSI» more GLVLSI 2007»

Improvements for constraint solving in the systemc verification library

14 years 4 months ago

Download www.informatik.uni-bremen.de

Daniel Große, Rüdiger Ebendt, Rolf Drec...

claim paper

Read More »

click to vote

MOBICOM
2006
ACM

110views Communications» more MOBICOM 2006»

Improved security in geographic ad hoc routing through autonomous position verification

14 years 4 months ago

Download medien.informatik.uni-ulm.de

Tim Leinmüller, Christian Maihöfer, Elma...

claim paper

Read More »

click to vote

ICFEM
2005
Springer

87views Software Engineering» more ICFEM 2005»

An Improved Rule for While Loops in Deductive Program Verification

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers