Search Sciweavers | Sciweavers

3729 search results - page 43 / 746

» On Formal Modeling of Agent Computations

click to vote

IPPS
2003
IEEE

118views Distributed And Parallel Com...» more IPPS 2003»

The Reconstruction of a Mobile Agent Computation and Its Validation

15 years 5 months ago

Download www.cs.unh.edu

We propose a new representation to describe mobile agents computations, where the underlying control structures are diffusing computations. Usually, distributed coms are abstracte...

Mamoun Filali, Philippe Mauran, Gérard Padi...

claim paper

Read More »

click to vote

CIMCA
2006
IEEE

136views Intelligent Agents» more CIMCA 2006»

Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller

15 years 5 months ago

Download interact.hanyang.ac.kr

The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...

Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...

claim paper

Read More »

click to vote

MM
2006
ACM

127views Multimedia» more MM 2006»

The computational extraction of temporal formal structures in the interactive dance work '22'

15 years 5 months ago

Download ame2.asu.edu

In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...

Vidyarani M. Dyaberi, Hari Sundaram, Thanassis Rik...

claim paper

Read More »

click to vote

EDOC
2002
IEEE

102views Distributed And Parallel Com...» more EDOC 2002»

From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods

15 years 4 months ago

Download www.zurich.ibm.com

Jana Koehler, Giuliano Tirenni, Santhosh Kumaran

claim paper

Read More »