Search Sciweavers | Sciweavers

2024 search results - page 20 / 405

» A Formal Model of Multi-agent Computations

click to vote

PPAM
2007
Springer

140views Distributed And Parallel Com...» more PPAM 2007»

A Formal Model of Multi-agent Computations

14 years 26 days ago

Download www.ii.uj.edu.pl

Abstract. The paper contains an extension of a formal model of multiagent computing system developed in previous publications towards considering a more general system state. We pr...

Maciej Smolka

claim paper

Read More »

click to vote

JUCS
2000

102views more JUCS 2000»

Towards Two-Level Formal Modeling of Computer-Based Systems

13 years 6 months ago

Download w3.isis.vanderbilt.edu

: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...

Gabor Karsai, Greg Nordstrom, Ákos Lé...

claim paper

Read More »

click to vote

VIROLOGY
2008

84views more VIROLOGY 2008»

Formal affordance-based models of computer virus reproduction

13 years 6 months ago

Download www.csc.liv.ac.uk

We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...

Matt Webster, Grant Malcolm

claim paper

Read More »

click to vote

FAABS
2000
Springer

89views Intelligent Agents» more FAABS 2000»

On Formal Modeling of Agent Computations

13 years 10 months ago

Download groups.csail.mit.edu

Tadashi Araragi, Paul C. Attie, Idit Keidar, Kiyos...

claim paper

Read More »