Search Sciweavers | Sciweavers

17054 search results - page 49 / 3411

» Logics of Dynamical Systems

click to vote

WSC
2001

115views Modeling And Simulation» more WSC 2001»

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

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

click to vote

FASE
2008
Springer

97views Software Engineering» more FASE 2008»

A Generic Complete Dynamic Logic for Reasoning About Purity and Effects

13 years 11 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

13 years 10 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

14 years 2 months ago

Download www.cs.nthu.edu.tw

Ruchir Puri, Andrew Bjorksten, Thomas E. Rosser

claim paper

Read More »