Search Sciweavers | Sciweavers

4356 search results - page 19 / 872

» Communicating Transactions - (Extended Abstract)

click to vote

SAS
2007
Springer

82views Formal Methods» more SAS 2007»

Static Analysis of Dynamic Communication Systems by Partner Abstraction

14 years 2 months ago

Download www.model.in.tum.de

Jörg Bauer, Reinhard Wilhelm

claim paper

Read More »

click to vote

ATAL
2005
Springer

110views Intelligent Agents» more ATAL 2005»

Communication management using abstraction in distributed bayesian networks

14 years 2 months ago

Download mas.cs.umass.edu

Jiaying Shen, Victor R. Lesser

claim paper

Read More »

click to vote

ICDCSW
2003
IEEE

99views Computer Networks» more ICDCSW 2003»

A Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks

14 years 1 months ago

Download www.cs.virginia.edu

Tarek F. Abdelzaher, Jack Stankovic, Sang Hyuk Son...

claim paper

Read More »

click to vote

ECOOPW
2003
Springer

92views Distributed And Parallel Com...» more ECOOPW 2003»

Communication Abstractions for Distributed Systems

14 years 1 months ago

Download ti.arc.nasa.gov

Antoine Beugnard, Ludger Fiege, Robert E. Filman, ...

claim paper

Read More »

click to vote

ATAL
2001
Springer

114views Intelligent Agents» more ATAL 2001»

An Abstract Machine for Classes of Communicating Agents Based on Deduction

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers