Search Sciweavers | Sciweavers

17840 search results - page 249 / 3568

» Heterogeneous Parallel Computing

149

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 »

110

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 »

156

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 »

130

click to vote

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 »

129

click to vote

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