Search Sciweavers | Sciweavers

6978 search results - page 185 / 1396

» On Proofs in System P

176

click to vote

FMSD
2000

86views more FMSD 2000»

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

15 years 6 months ago

Download reference.kfupm.edu.sa

We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...

Nikolaj Bjørner, Anca Browne, Michael Col&o...

claim paper

Read More »

130

click to vote

MOBILWARE
2009
ACM

98views Operating System» more MOBILWARE 2009»

Extending UPnP QoS Standard for Reducing Response Delay in Multimedia Home Networks

16 years 1 months ago

Download www.mobilware.org

Jesús Sáez, Alvaro Reina, Ralf Seepo...

claim paper

Read More »

172

click to vote

NGC
2002
Springer

111views Communications» more NGC 2002»

The Power of Communication: P Systems with Symport/Antiport

15 years 6 months ago

Download www2.latech.edu

In the attempt to have a framework where the computation is done by communication only, we consider the biological phenomenon of trans-membrane transport of couples of chemicals (o...

Andrei Paun, Gheorghe Paun

claim paper

Read More »

113

click to vote

CLUSTER
2009
IEEE

72views Distributed And Parallel Com...» more CLUSTER 2009»

Fault-aware, utility-based job scheduling on Blue, Gene/P systems

16 years 1 months ago