Search Sciweavers | Sciweavers

43264 search results - page 69 / 8653

» Comparing models of computation

click to vote

FAC
2007

128views more FAC 2007»

Verifying a signature architecture: a comparative case study

13 years 8 months ago

Download kisogawa.inf.ethz.ch

Abstract. We report on a case study in applying diﬀerent formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...

David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki...

claim paper

Read More »

click to vote

FORMATS
2008
Springer

108views Formal Methods» more FORMATS 2008»

Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

13 years 10 months ago

Download www.brics.dk

Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...

Jirí Srba

claim paper

Read More »

click to vote

ENGL
2007

100views more ENGL 2007»

Utilizing Computational Intelligence to Assist in Software Release Decision

13 years 8 months ago

Download www.engineeringletters.com

—Defect tracking using computational intelligence methods is used to predict software readiness in this study. By comparing predicted number of faults and number of faults discov...

Tong-Seng Quah, Mie Mie Thet Thwin

claim paper

Read More »

click to vote

CSB
2003
IEEE

130views Bioinformatics» more CSB 2003»

A Computational Approach to Reconstructing Gene Regulatory Networks

14 years 2 months ago

Download www.mrc-lmb.cam.ac.uk

Reverse-engineering of gene networks using linear models often results in an underdetermined system because of excessive unknown parameters. In addition, the practical utility of ...

Xutao Deng, Hesham H. Ali

claim paper

Read More »

click to vote

NORDICHI
2006
ACM

162views Human Computer Interaction» more NORDICHI 2006»

Comparing voice chat and text chat in a communication tool for interactive television

14 years 2 months ago