Search Sciweavers | Sciweavers

23557 search results - page 191 / 4712

» Distributed Computing - Introduction

101

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 6 months ago

Download www.it.uu.se

Luís Caires, Étienne Lozes

claim paper

Read More »

click to vote

CW
2004
IEEE

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

Modeling Corporate Knowledge within the Agent Oriented Abstraction

15 years 6 months ago

Download iaks-www.ira.uka.de

Pierre Maret, Jacques Calmet

claim paper

Read More »

109

click to vote

CW
2004
IEEE

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

Paradigm of Information Security as Interdisciplinary Comprehensive Science

15 years 6 months ago

Download www.jaist.ac.jp

Shigeo Tsujii

claim paper

Read More »

click to vote

CONCUR
2006
Springer

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

Generic Forward and Backward Simulations

15 years 6 months ago

Download unit.aist.go.jp

Ichiro Hasuo

claim paper

Read More »

click to vote

CONCUR
2006
Springer

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

Second-Order Simple Grammars

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers