Search Sciweavers | Sciweavers

23557 search results - page 191 / 4712

» Distributed Computing - Introduction

143

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 »

150

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 »

128

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 »

128

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