Search Sciweavers | Sciweavers

34

PDS
1996

120views Distributed And Parallel Com...» more PDS 1996»

Towards a theory of shared data in distributed systems

13 years 9 months ago

We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...

Simon A. Dobson, Christopher P. Wadsworth

claim paper

Read More »

22

click to vote

ITP
2006

101views Mathematics» more ITP 2006»

Toward a complexity theory of information systems development

13 years 7 months ago

Download www.billmckelvey.org

Purpose

Hind Benbya, Bill McKelvey

claim paper

Read More »

13

click to vote

CHI
2002
ACM

133views Human Computer Interaction» more CHI 2002»

A framework for locomotional design: toward a generative design theory

14 years 8 months ago

Download www-personal.umich.edu

Generative design theories are needed to b ridge the gaps between pure scientific knowledge, individual ("point") designs and systematic generation of viable design alte...

Susanne Jul

claim paper

Read More »

30

click to vote

ISIPTA
2005
IEEE

151views Mathematics» more ISIPTA 2005»

Towards a Unifying Theory of Logical and Probabilistic Reasoning

14 years 1 months ago

Download www.iam.unibe.ch

Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other ﬁelds such...

Rolf Haenni

claim paper

Read More »

26

click to vote

RAS
1998

81views more RAS 1998»

Towards a theory of delegation for agent-based systems

13 years 7 months ago

Download www.istc.cnr.it

In this paper a theory of delegation is presented. There are at least three reasons for developing such a theory. First, one of the most relevant notions of "agent" is b...

Cristiano Castelfranchi, Rino Falcone

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers