Search Sciweavers | Sciweavers

5790 search results - page 73 / 1158

» Distributed programming with distributed authorization

click to vote

EPIA
1997
Springer

151views Artificial Intelligence» more EPIA 1997»

Vivid Agents Arguing about Distributed Extended Logic Programs

14 years 1 months ago

Download centria.di.fct.unl.pt

Argumentation semantics in extended logic programming has been deﬁned in [5,12] for a single agent which determines its believes by an internal argumentation process. In this pap...

Michael Schroeder, Iara de Almeida Móra, Jo...

claim paper

Read More »

click to vote

WORDS
2002
IEEE

160views Embedded Systems» more WORDS 2002»

Meta-Programming Techniques for Distributed Real-time and Embedded Systems

14 years 1 months ago

Download www.cs.wustl.edu

Commercial off-the-shelf (COTS) middleware increasingly offers not only functional support for standard interfaces, but also the ability to optimize their resource consumption pat...

Joseph K. Cross, Douglas C. Schmidt

claim paper

Read More »

click to vote

SAS
2007
Springer

126views Formal Methods» more SAS 2007»

Hierarchical Pointer Analysis for Distributed Programs

14 years 3 months ago

Download www.cs.berkeley.edu

We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...

Amir Kamil, Katherine A. Yelick

claim paper

Read More »

click to vote

WISE
2009
Springer

84views Internet Technology» more WISE 2009»

Processes Are Data: A Programming Model for Distributed Applications

14 years 6 months ago