Sciweavers

526 search results - page 9 / 106

» Towards the Verifying Compiler

22

SP
1987
IEEE

48views Security Privacy» more SP 1987»

Toward Verified Execution Environments

14 years 1 months ago

Toward Verified Execution Environments

Download www.cs.utexas.edu

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

claim paper

Read More »

20

APCCM
2007

101views Knowledge Management» more APCCM 2007»

Towards Verifying Semistructured Data

13 years 11 months ago

Towards Verifying Semistructured Data

Download crpit.com

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

claim paper

Read More »

16

ICWS
2008
IEEE

74views Internet Technology» more ICWS 2008»

Towards Verifying Contract Regulated Service Composition

13 years 11 months ago

Towards Verifying Contract Regulated Service Composition

Download www.cs.um.edu.mt

Alessio Lomuscio, Hongyang Qu, Monika Solanki

claim paper

Read More »

34

TCBB
2008

137views more TCBB 2008»

Toward Verified Biological Models

13 years 9 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 »

26

IFIP
2010
Springer

101views Programming Languages» more IFIP 2010»

Towards Automatic Analysis of Election Verifiability Properties

13 years 4 months 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 »