Search Sciweavers | Sciweavers

3991 search results - page 66 / 799

» Bounding homogeneous models

click to vote

EDCC
2010
Springer

230views Applied Computing» more EDCC 2010»

Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency

14 years 21 days ago

Download edcc.dependability.org

Sara Tucci Piergiovanni, Roberto Baldoni

claim paper

Read More »

click to vote

CRYPTO
2001
Springer

106views Cryptology» more CRYPTO 2001»

Oblivious Transfer in the Bounded Storage Model

14 years 11 days ago

Download www.iacr.org

Building on a previous important work of Cachin, Cr´epeau, and Marcil [15], we present a provably secure and more eﬃcient protocol for 2 1 -Oblivious Transfer with a storage-bou...

Yan Zong Ding

claim paper

Read More »

click to vote

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

13 years 12 months ago

Download homepages.laas.fr

Bernard Berthomieu, Florent Peres, François...

claim paper

Read More »

click to vote

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

Improved bounded model checking for a fair branching-time temporal epistemic logic

13 years 9 months ago

Download www.cse.unsw.edu.au

Xiaowei Huang, Cheng Luo, Ron van der Meyden

claim paper

Read More »

click to vote

ECAI
2010
Springer

188views Artificial Intelligence» more ECAI 2010»

On the (Un-)Decidability of Model Checking Resource-Bounded Agents

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers