Search Sciweavers | Sciweavers

818 search results - page 1 / 164

» formats 2007

click to vote

VIROLOGY
2008

87views more VIROLOGY 2008»

OpenDocument and Open XML security (OpenOffice.org and MS Office 2007)

13 years 4 months ago

Download www.decalage.info

OpenDocument and Open XML are both new open file formats for office documents. OpenDocument is an ISO standard, promoted by OpenOffice.org and Sun StarOffice. Open XML is the new f...

Philippe Lagadec

claim paper

Read More »

click to vote

FORMATS
2007
Springer

114views Formal Methods» more FORMATS 2007»

Abstraction of Probabilistic Systems

13 years 10 months ago

Download www.trustsoft.uni-oldenburg.de

Joost-Pieter Katoen

claim paper

Read More »

click to vote

FORMATS
2007
Springer

92views Formal Methods» more FORMATS 2007»

Costs Are Expensive!

13 years 10 months ago

Download www.lsv.ens-cachan.fr

Patricia Bouyer, Nicolas Markey

claim paper

Read More »

click to vote

FORMATS
2007
Springer

92views Formal Methods» more FORMATS 2007»

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

13 years 10 months ago

Download www.lsv.ens-cachan.fr

Susmit Jha, Bryan A. Brady, Sanjit A. Seshia

posted by susmitjha

Read More »

click to vote

FORMATS
2007
Springer

78views Formal Methods» more FORMATS 2007»

Automatic Abstraction Refinement for Timed Automata

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers