Sciweavers

165 search results - page 30 / 33
» Agent Exchange - Virtual Trading Environment
Sort
View
DALT
2003
Springer
13 years 11 months ago
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study
Computees are abstractions of the entities that populate global and open computing environments. The societies that they populate give an institutional meaning to their interaction...
Marco Alberti, Marco Gavanelli, Evelina Lamma, Pao...
ATVA
2006
Springer
160views Hardware» more  ATVA 2006»
13 years 9 months ago
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
Giorgio Delzanno, Javier Esparza, Jirí Srba
IROS
2008
IEEE
172views Robotics» more  IROS 2008»
14 years 5 days ago
HybridExploration: A distributed approach to terrain exploration using mobile and fixed sensor nodes
— When an emergency occurs within a building, it may be initially safer to send autonomous mobile nodes, instead of human responders, to explore the area and identify hazards and...
Ettore Ferranti, Niki Trigoni, Mark Levene
VL
1998
IEEE
130views Visual Languages» more  VL 1998»
13 years 10 months ago
SAM - An Animated 3D Programming Language
This article presents the animated visual 3D programming language SAM (Solid Agents in Motion) for parallel systems specification and animation. A SAM program is a set of interact...
Christian Geiger, Wolfgang Müller 0003, Walde...
CDVE
2004
Springer
113views Visualization» more  CDVE 2004»
13 years 11 months ago
Fostering Creativity in Cooperative Design
Creativity has become a valuable asset, given the fast paced changes most companies must nowadays deal with. Companies now look for creative, highly adaptive individuals who can ex...
Adriana Santarosa Vivacqua, Jano Moreira de Souza