Search Sciweavers | Sciweavers

7160 search results - page 83 / 1432

» Organizing Multiagent Systems

183

click to vote

ATAL
2005
Springer

140views Intelligent Agents» more ATAL 2005»

Bounded model checking for knowledge and real time

15 years 11 months ago

Download www.cs.huji.ac.il

We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...

Bozena Wozna, Alessio Lomuscio, Wojciech Penczek

claim paper

Read More »

114

click to vote

SBRN
2006
IEEE

81views Neural Networks» more SBRN 2006»

A Hybrid SOM-Based Document Organization System

16 years 6 days ago

Download www.icmc.usp.br

Renato Fernandes Corrêa, Teresa Bernarda Lud...

claim paper

Read More »

124

click to vote

P2P
2005
IEEE

79views Communications» more P2P 2005»

Self-Organization in Peer-to-Peer Systems

15 years 11 months ago

Download www.eecs.harvard.edu

Hermann de Meer, Christian Koppen

claim paper

Read More »

135

click to vote

ESAW
2004
Springer

111views Intelligent Agents» more ESAW 2004»

From Self-Organized Systems to Collective Problem Solving

15 years 11 months ago

Download www.irit.fr

Vincent Chevrier

claim paper

Read More »

102

click to vote

EAGC
2003
Springer

107views Distributed And Parallel Com...» more EAGC 2003»

VOMS, an Authorization System for Virtual Organizations

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers