Search Sciweavers | Sciweavers

31387 search results - page 227 / 6278

» Abstracts

115

click to vote

BPM
2009
Springer

68views Business» more BPM 2009»

Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes

15 years 10 months ago

Download www.ku-eichstaett.de

Kais Klai, Samir Tata, Jörg Desel

claim paper

Read More »

139

click to vote

DATE
2007
IEEE

100views Hardware» more DATE 2007»

Abstraction and refinement techniques in automated design debugging

15 years 10 months ago

Download www.eecg.toronto.edu

Sean Safarpour, Andreas G. Veneris

claim paper

Read More »

150

click to vote

DSN
2007
IEEE

82views Computer Networks» more DSN 2007»

Fast Abstracts

15 years 10 months ago

Download www.ece.cmu.edu

Hiroshi Nakamura

claim paper

Read More »

109

click to vote

DAC
2010
ACM

152views Computer Architecture» more DAC 2010»

BooM: a decision procedure for boolean matching with abstraction and dynamic learning

15 years 10 months ago

Download alcom.ee.ntu.edu.tw

Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang

claim paper

Read More »

148

click to vote

ICDCS
2010
IEEE

168views Distributed And Parallel Com...» more ICDCS 2010»

Optimizing the Spatio-temporal Distribution of Cyber-Physical Systems for Environment Abstraction

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers