Search Sciweavers | Sciweavers

17840 search results - page 249 / 3568

» Heterogeneous Parallel Computing

159

click to vote

CONCUR
2004
Springer

87views Distributed And Parallel Com...» more CONCUR 2004»

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

15 years 10 months ago

Download www.it.uu.se

Luís Caires, Étienne Lozes

claim paper

Read More »

118

click to vote

CW
2004
IEEE

79views Distributed And Parallel Com...» more CW 2004»

Modeling Corporate Knowledge within the Agent Oriented Abstraction

15 years 10 months ago

Download iaks-www.ira.uka.de

Pierre Maret, Jacques Calmet

claim paper

Read More »

167

click to vote

CW
2004
IEEE

84views Distributed And Parallel Com...» more CW 2004»

Paradigm of Information Security as Interdisciplinary Comprehensive Science

15 years 10 months ago

Download www.jaist.ac.jp

Shigeo Tsujii

claim paper

Read More »

138

Voted

CONCUR
2006
Springer

91views Distributed And Parallel Com...» more CONCUR 2006»

Generic Forward and Backward Simulations

15 years 10 months ago

Download unit.aist.go.jp

Ichiro Hasuo

claim paper

Read More »

144

Voted

CONCUR
2006
Springer

66views Distributed And Parallel Com...» more CONCUR 2006»

Second-Order Simple Grammars

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers