Sciweavers

526 search results - page 9 / 106

» Towards the Verifying Compiler

104

SP
1987
IEEE

48views Security Privacy» more SP 1987»

Toward Verified Execution Environments

15 years 9 months ago

Toward Verified Execution Environments

Download www.cs.utexas.edu

William R. Bevier, Warren A. Hunt Jr., William D. ...

claim paper

Read More »

121

APCCM
2007

101views Knowledge Management» more APCCM 2007»

Towards Verifying Semistructured Data

15 years 7 months ago

Towards Verifying Semistructured Data

Download crpit.com

Gillian Dobbie, Jing Sun, Yuan-Fang Li, Scott Uk-J...

claim paper

Read More »

94

ICWS
2008
IEEE

74views Internet Technology» more ICWS 2008»

Towards Verifying Contract Regulated Service Composition

15 years 7 months ago

Towards Verifying Contract Regulated Service Composition

Download www.cs.um.edu.mt

Alessio Lomuscio, Hongyang Qu, Monika Solanki

claim paper

Read More »

166

TCBB
2008

137views more TCBB 2008»

Toward Verified Biological Models

15 years 5 months ago

Toward Verified Biological Models

Download research.microsoft.com

The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...

Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Adm...

claim paper

Read More »

117

IFIP
2010
Springer

101views Programming Languages» more IFIP 2010»

Towards Automatic Analysis of Election Verifiability Properties

15 years 9 days ago

Towards Automatic Analysis of Election Verifiability Properties

Download www.lsv.ens-cachan.fr

Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourji...

claim paper

Read More »

« Prev « First page 9 / 106 Last » Next »