Search Sciweavers | Sciweavers

17054 search results - page 49 / 3411

» Logics of Dynamical Systems

118

click to vote

WSC
2001

115views Modeling And Simulation» more WSC 2001»

Enabling smooth and scalable dynamic 3D visualization of discrete-event construction simulations

15 years 3 months ago

Download www.informs-sim.org

Visualizing simulated construction operations is an effective means of communicating the logic and the inner working of simulation models in a comprehensive and comprehendible man...

Vineet R. Kamat, Julio C. Martínez

claim paper

Read More »

117

click to vote

FASE
2008
Springer

97views Software Engineering» more FASE 2008»

A Generic Complete Dynamic Logic for Reasoning About Purity and Effects

15 years 3 months ago

Download www.informatik.uni-bremen.de

For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...

Till Mossakowski, Lutz Schröder, Sergey Gonch...

claim paper

Read More »

click to vote

CORR
2010
Springer

75views Education» more CORR 2010»

Explicit Evidence Systems with Common Knowledge

15 years 2 months ago

Download www.iam.unibe.ch

Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...

Samuel Bucheli, Roman Kuznets, Thomas Studer

claim paper

Read More »

click to vote

ICCAD
1996
IEEE

81views Hardware» more ICCAD 1996»

Logic optimization by output phase assignment in dynamic logic synthesis

15 years 6 months ago

Download www.cs.nthu.edu.tw

Ruchir Puri, Andrew Bjorksten, Thomas E. Rosser

claim paper

Read More »