Search Sciweavers | Sciweavers

1219 search results - page 14 / 244

» Verification of Equivalent-Results Methods

click to vote

ICDAR
2007
IEEE

119views Document Analysis» more ICDAR 2007»

A Parametric Spectral-Based Method for Verification of Text in Videos

13 years 7 months ago

Download www.ilsp.gr

Vassilios Papavassiliou, Themos Stafylakis, Vassil...

claim paper

Read More »

click to vote

JUCS
2007

101views more JUCS 2007»

Applications of Formal Methods to System Design and Verification

13 years 7 months ago

Download www.jucs.org

Farhad Arbab, Marjan Sirjani

claim paper

Read More »

click to vote

JETAI
2000

96views more JETAI 2000»

Abstraction and composition: a verification method for co-operating systems

13 years 7 months ago

Download sit.sit.fraunhofer.de

Peter Ochsenschläger, Jürgen Repp, Rolan...

claim paper

Read More »

click to vote

COMCOM
1999

63views more COMCOM 1999»

Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

13 years 7 months ago

Download www.dmst.aueb.gr

Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...

claim paper

Read More »

click to vote

ICFEM
2009
Springer

83views Software Engineering» more ICFEM 2009»

A Verification System for Distributed Objects with Asynchronous Method Calls

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers