Search Sciweavers | Sciweavers

3229 search results - page 545 / 646

» Theories with the Independence Property

172

click to vote

INFOCOM
2011
IEEE

260views Communications» more INFOCOM 2011»

Understanding robustness of mobile networks through temporal network measures

14 years 10 months ago

Download www.ir.bbn.com

—The application of complex network theory to communication systems has led to several important results. Nonetheless, previous research has often neglected to take into account ...

Salvatore Scellato, Ilias Leontiadis, Cecilia Masc...

claim paper

Read More »

262

click to vote

PLPV
2011
ACM

166views Programming Languages» more PLPV 2011»

Local actions for a curry-style operational semantics

14 years 9 months ago

Download www.cs.princeton.edu

Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...

Gordon Stewart, Andrew W. Appel

claim paper

Read More »

271

click to vote

POPL
2011
ACM

220views Programming Languages» more POPL 2011»

Decidable logics combining heap structures and data

14 years 9 months ago

Download www.cs.uiuc.edu

We deﬁne a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive veriﬁcation and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...

P. Madhusudan, Gennaro Parlato, Xiaokang Qiu

claim paper

Read More »

270

click to vote

Publication

338views

A Reference Discretization Strategy for the Numerical Solution of Physical Field Problems.

14 years 4 months ago

Download docs.google.com

I. Introduction II. Foundations A. The Mathematical Structure of Physical Field Theories B. Geometric Objects and Orientation 1. Space-Time Object...

Claudio Mattiussi