Search Sciweavers | Sciweavers

4224 search results - page 81 / 845

» Reasoning about Choice

166

click to vote

FORTE
2009

116views Formal Methods» more FORTE 2009»

Using First-Order Logic to Reason about Submodule Construction

15 years 3 months ago

Download www.site.uottawa.ca

We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...

Gregor von Bochmann

claim paper

Read More »

155

click to vote

ENTCS
2010

65views more ENTCS 2010»

Reasoning about QoS Contracts in the Probabilistic Duration Calculus

15 years 2 months ago

Download www.iist.unu.edu

Dimitar P. Guelev, Dang Van Hung

claim paper

Read More »

126

click to vote

CORR
2010
Springer

64views Education» more CORR 2010»

A Spatial-Epistemic Logic for Reasoning about Security Protocols

15 years 7 days ago

Download www.cs.cmu.edu

Bernardo Toninho, Luís Caires

claim paper

Read More »

153

click to vote

KI
2011
Springer

159views Artificial Intelligence» more KI 2011»

Reasoning about Time, Action and Knowledge in Multi-Agent Systems

15 years 7 days ago

Download www.csc.liv.ac.uk

Ji Ruan

claim paper

Read More »

click to vote

JCIT
2010

94views more JCIT 2010»

Research on Spatial Knowledge Reasoning about Jiangzhai Settlement in First Period

15 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers