Sciweavers

2114 search results - page 47 / 423
» A model of cooperative threads
Sort
View
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
14 years 2 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
GCC
2003
Springer
14 years 2 months ago
Modelling Cooperative Multi-agent Systems
Cooperative computing is becoming inevitable with the emerging of service-oriented computing and GRID becoming a ubiquitous computing resource. It is widely recognized that agent t...
Lijun Shan, Hong Zhu
ICOODB
2010
171views Database» more  ICOODB 2010»
13 years 6 months ago
Data Model Driven Implementation of Web Cooperation Systems with Tricia
Abstract. We present the data modeling concepts of Tricia, an opensource Java platform used to implement enterprise web information systems as well as social software solutions inc...
Thomas Büchner, Florian Matthes, Christian Ne...
ESAW
2004
Springer
14 years 2 months ago
Cooperative Agent Model Instantiation to Collective Robotics
The general aim of our work is to provide tools, methods and models to adaptive multi-agent systems designers. These systems consist in several interacting agents and have to optim...
Gauthier Picard
ECAL
2007
Springer
14 years 3 months ago
Individual Selection for Cooperative Group Formation
It is well known that certain environmental conditions, such as a spatially structured population, can promote the evolution of cooperative traits. However, such conditions are usu...
Simon T. Powers, Alexandra S. Penn, Richard A. Wat...